[Haskell-cafe] Template Haskell and Types

[Gracjan Polak]

Simon Peyton-Jones wrote:
> design note http://research.microsoft.com/~simonpj/tmp/notes2.ps


In the above paper there is something about 'giveUp'. Seems to quite 
useful, but there is no such thing in ghc 6.4.

Where did my giveUp go? And why?

-- 
Gracjan