Revision as of 11:47, 14 December 2010 by VivianMcPhail
is useful for the error monad,
Either String a
is the only method of the
should be included in the hierarchy. Better to be exactly mathematically correct once and for all.