blob: 201adffc253d8bcfbea9e39cc1631513214eecb7 (
plain)
1
2
3
4
5
6
7
|
T16391b.hs:10:8: error: [GHC-25897]
• Expected a type, but ‘T r’ has kind ‘TYPE r’
‘r’ is a rigid type variable bound by
the type signature for ‘foo’
at T16391b.hs:10:1-10
• In the type signature: foo :: T r
|