Port to ghc-tcplugins-extra#42

google-labs-jules[bot] wants to merge 1 commit intomaingelisam/typelevel-rewrite-rules:mainfrom

port-to-ghc-tcplugins-extragelisam/typelevel-rewrite-rules:port-to-ghc-tcplugins-extraCopy head branch name to clipboard