Re: Proposal for template-haskell: Make Q an instance of Applicative

The deadline for this proposal has passed. Michael Snoyman, Wren ng Thornton and Edward Kmett replied positively. There were no objections. I filed a ticket and attached the patches: http://hackage.haskell.org/trac/ghc/ticket/5349 Thanks, Bas On 8 July 2011 11:56, 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.

Regards,

Bas