Cool, I'll go looking for it. I couldn't find anything on Hoogle. Thanks, Michael --- On Thu, 9/2/10, David Menendez wrote: From: David Menendez Subject: Re: [Haskell-cafe] On to applicative To: "michael rice" Cc: haskell-cafe@haskell.org Date: Thursday, September 2, 2010, 9:26 PM On Thu, Sep 2, 2010 at 9:16 PM, michael rice 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 http://www.eyrie.org/~zednenem/