Support ghc-9.12#70

erikd merged 2 commits intomaininput-output-hk/typed-protocols:mainfrom

erikd/ghc-9.12input-output-hk/typed-protocols:erikd/ghc-9.12Copy head branch name to clipboard