[Haskell-cafe] Inferred typing?

Brent Yorgey byorgey at seas.upenn.edu
Tue May 12 07:50:51 EDT 2009


On Mon, May 11, 2009 at 10:59:01PM -0700, michael rice wrote:
> In the code below, is the type returned by the return functions inferred from 
> the result type in the function type signature, i.e., just change the result
> type to Maybe Int and the code will return a Maybe monad, (Just 4), instead of
> a List monad?

Indeed, it is.  Try it! =)

-Brent


More information about the Haskell-Cafe mailing list