The irony being that this itself is a Haskell-like environment, and a complex, dependently-typed one at that, with full type inference and strange function name

The irony being that this itself is a Haskell-like environment, and a complex, dependently-typed one at that, with full type inference and strange function name choices (in my opinion, of course.)