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 _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
