VERY rough haskell -> idris mode conv