[Haskell-cafe] Template Haskell very wordy w/r/t Decs and Types

[Miguel Mitrofanov]

On 27 May 2009, at 23:38, Simon Peyton-Jones wrote:

> Folks
>
> Quite a few people have asked for splices in Template Haskell  
> *types*, and I have finally gotten around to implementing them.  So  
> now you can write things like
>
>        instance Binary $(blah blah) where ...
> or      f :: $(wubble bubble) -> Int

Great! Just what I was looking for a couple of days ago.

> PS: Note that you (still) cannot write a splice in a *binding*  
> position.

I think, I can live without it.