[lalaithion]

One fun thing is how -> is basically just an infix operation that takes two types as arguments and returns a new type.

add :: (->) Int Int add x y = x + y

[leshow]

It's the function type, data (->) a b. It is commonly written in infix notation though.