blob: 8d777c6616025865f8a6fdf9113953c12242d59f (
plain)
1
2
3
4
5
6
7
8
|
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])
|