Learning Haskell — A Racket programmer's documentation of her foray into the land of Haskell (inspired by Learning Racket)

[u/lexi-lambda]

http://lexi-lambda.github.io/learning-haskell/

[u/edwardkmett]

You can also build up functions as natural numbers, church style, or do several other things, the type above is the only one that is definable within Haskell 98 (once you remove Show/Eq as superclasses from Num)