Am Samstag 31 Oktober 2009 12:25:17 schrieb Tom Davie: > On 10/31/09, Heinrich Apfelmus <[email protected]> wrote: > > The only possible monad instance would be > > > > return x = Const mempty > > fmap f (Const b) = Const b > > join (Const b) = Const b > > Your join doesn't seem to have the right type... Unless I'm missing > something. > > Bob
join (Const b :: Const b (Const b a)) = (Const b :: Const b a) _______________________________________________ Haskell-Cafe mailing list [email protected] http://www.haskell.org/mailman/listinfo/haskell-cafe
