Hello everyone, Ryan Scott just opened Pull Request #36 [1] against the ghc-proposals repository. This is a proposal to change the behavior of Template Haskell quoting with respect to implicitly quantified type variables. The overall effect is that implicitly quantified type variables will be separated from the explicitly quantified type variables, and instead put into their own AST nodes. Please feel free to read and discuss the proposal on its pull request [1]. Cheers, - Ben [1] https://github.com/ghc-proposals/ghc-proposals/pull/36