zypeh
says to
YSITD
idris 和 haskell