Am Dienstag 02 März 2010 21:00:56 schrieb Felipe Lessa: > > I think the right-hand side (RHS) is more concise and simpler. The > > types here do change: the type constructor has a Monad constraint in > > the left-hand side and a Functor constraint in the RHS. Types that are > > Monad instances are generally also Functor instances, so this is often > > possible. I'm convinced the semantics are preserved, though I haven't > > proven it. > > Yes, they are the same, always. >
Provided the instances obey the monad/functor laws. > -- > Felipe. _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe
