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?

(->) is a built-in type. You could say its definition is in the Haskell Report.

--
Dave Menendez <dave@zednenem.com>
<http://www.eyrie.org/~zednenem/>