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

[Bas van Dijk]

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
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0001-TypeSynonymInstances-are-needed-for-the-Show-instanc.patch
Type: text/x-patch
Size: 686 bytes
Desc: not available
URL: <http://www.haskell.org/pipermail/libraries/attachments/20110708/c54c2a41/attachment.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: 0002-Make-Q-an-instance-of-Applicative.patch
Type: text/x-patch
Size: 1455 bytes
Desc: not available
URL: <http://www.haskell.org/pipermail/libraries/attachments/20110708/c54c2a41/attachment-0001.bin>