literate haskell support
Idris