
28 May
2010
28 May
'10
8:26 p.m.
Daniel Fischer
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.Miljenovic@gmail.com IvanMiljenovic.wordpress.com