Daniel Fischer <[email protected]> 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
[email protected]
IvanMiljenovic.wordpress.com
_______________________________________________
Haskell-Cafe mailing list
[email protected]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Reply via email to