Template Haskell question

[Ashley Yakeley]

In article 
<4B93206CA3C55D4F96A61C9B1DC80DE30C2B9A@EUR-MSG-03.europe.corp.microsoft
.com>,
 "Simon Peyton-Jones" <simonpj@microsoft.com> wrote:

> Yes, sorry, as Ian says, type splices just aren't implemented at the
> moment.  The error message is uninformative.  
> 
> This is useful info though -- someone wants type splices!

Ah, but what I really want is to be able to splice in several types that 
are all connected in the context.

     (C1 a b,C2 b c) => $(foo [t|a|] [t|b|] [t|c|])

Right now I'm using m4, the textual preprocessor.

-- 
Ashley Yakeley, Seattle WA