8 Jul
2011
8 Jul
'11
5:56 a.m.
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. Regards, Bas