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

[wren ng thornton]

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