[Haskell-cafe] Read instance for GATD

[Stephen Tetley]

Hi Corentin

I think Oleg Kiselyov is parsing / reading into a GADT here:

http://okmij.org/ftp/tagless-final/tagless-typed.html

See the section - Metatypechecking: Staged Typed Compilation into GADT
using typeclasses

http://okmij.org/ftp/Haskell/staged/TypeCheck.hs
http://okmij.org/ftp/Haskell/staged/TermLift.hs

His solution requires quite a bit of machinery - Template Haskell, a
TypeCheck type class...

Best wishes

Stephen