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

Reply via email to