On 7/8/11 5:56 AM, Bas van Dijk wrote:

Hello,

The Q type:

newtype Q a = Q { unQ :: forall m. Quasi m => m a }

currently has an instance for Monad and Functor. I would like to propose adding an instance for Applicative as well. Note that this also means that the Quasi class needs to get an Applicative superclass:

class (Monad m, Applicative m, Functor m) => Quasi m where ...

Discussion period: 2 weeks.

+1 for the march to Applicative. -- Live well, ~wren