blob: 83a9ec15fa138635b9935c0d8c248366651e1a47 (
plain)
1
2
3
4
5
6
7
8
|
T14904b.hs:9:7: error:
• Expected kind ‘forall (a :: k1). g a’, but ‘f’ has kind ‘k0’
Cannot instantiate unification variable ‘k0’
with a kind involving polytypes: forall (a :: k1). g a
• In the first argument of ‘F’, namely
‘((f :: forall a. g a) :: forall a. g a)’
In the type family declaration for ‘F’
|