T12734a.hs:72:16: error:
    • No instance for (Monad (KT A '[Ty] IO))
        arising from a use of ‘test_gr’
    • In the expression:
        test_gr @(KT A '[Ty] IO) @_ @'[Ty] @(Expr Net '[Ty])
      In an equation for ‘test_ghc_err’:
          test_ghc_err = test_gr @(KT A '[Ty] IO) @_ @'[Ty] @(Expr Net '[Ty])