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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe