"Learn You a Haskell ..."  says that (->) is a type just like Either. Where can I find its type definition? Michael