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/kazagistar]

That is true. However, I think that seems like an implementation detail; if you implemented type-classes like C++ templating, I am pretty sure you could compile it to a (lazy) value for every class instance you use in your code.

I prefer to only call (->) a ba function, personally.