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