25 May
2010
25 May
'10
12:22 p.m.
Ross Paterson wrote:
The proposal is to add this instance to Control.Applicative: instance Applicative (Either e) where... compatible with the usual Monad instance.
+1 for this Applicative instance -1 for the orphan Monad instance with the silly superclass constraint that this Applicative instance is meant to extend