I was looking at some code and couldn't figure out how it was returning a list since there were no list constructors present. Thanks! Michael --- On Tue, 5/12/09, Brent Yorgey <byorgey@seas.upenn.edu> wrote: From: Brent Yorgey <byorgey@seas.upenn.edu> Subject: Re: [Haskell-cafe] Inferred typing? To: haskell-cafe@haskell.org Date: Tuesday, May 12, 2009, 7:50 AM 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 Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe