1 2 3 4
T7892.hs:5:4: error: [GHC-83865] • Expected kind ‘* -> *’, but ‘f’ has kind ‘*’ • In the associated type family declaration for ‘F’