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