On Wed, May 27, 2009 at 7:33 PM, michael rice <nowg...@yahoo.com> wrote:
> Still exploring monads. I don't understand why the type signature for > double is OK, but not the one for iota. > > Michael > > ================= > > --double :: (Int a) => a -> Maybe b > --double x = Just (x + x) > > iota :: (Int a) => a -> [b] > iota n = [1..n] Int is not a class, and you are using it as such? > > > --usage: [3,4,5] >>= iota > --should produce [1,2,3,1,2,3,4,1,2,3,4,5] > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > >
_______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe