On Thu, Sep 2, 2010 at 9:16 PM, michael rice <nowgate@yahoo.com> wrote:
This may be a dumb question, but here goes.
Types Maybe, Either, List, are types and also instances of Functor (and Monad).
Assuming (->) is also a type, where can I find its type definition?