Availability of Coercible Instances at TH Runtime

David Kraeutmann kane at kane.cx
Mon May 7 04:37:58 UTC 2018

Tangentially related, but wasn't there a plan at some point to integrate 
TH more tightly with GHC?

On 5/7/2018 4:39 AM, Richard Eisenberg wrote:
> No, it doesn't, but the Q monad is actually a wrapper around TcM, the 
> type-checker monad. I don't think it would be all that hard to do 
> this. Could be a suitable project for someone new to GHC hacking...

More information about the ghc-devs mailing list