T7697.hs:3:6: error:
    • Expected a constraint, but ‘Int’ has kind ‘*’
    • In the type signature:
        f :: Int => Int