tcfail078.hs:5:6: error:
    • Expected kind ‘* -> Constraint’, but ‘Integer’ has kind ‘*’
    • In the type signature: f :: Integer i => i