zypeh says to YSITD
idris 和 haskell