Daniel Fischer <daniel.is.fisc...@web.de> writes: > But if you want to have > > instance Monad (Either ConcreteType) where ... > > , you can have > > fail msg = Left someDefaultValue > > (or let the value depend on the message) and you can construct > Left someMeaningfulValue in concrete situations.
Which happens to make it identical to Maybe ;-) -- Ivan Lazar Miljenovic ivan.miljeno...@gmail.com IvanMiljenovic.wordpress.com _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe