<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;">This may be a dumb question, but here goes.<br><br>Types Maybe, Either, List, are types and also instances of Functor (and Monad).<br><br>Assuming (-&gt;) is also a type, where can I find its type definition?<br><br>Michael<br><br></td></tr></table><br>