T3177a.hs:8:7: error:
    • Expected kind ‘* -> *’, but ‘Int’ has kind ‘*’
    • In the type signature: f :: (Int Int)

T3177a.hs:11:6: error:
    • Expected kind ‘* -> *’, but ‘Int’ has kind ‘*’
    • In the type signature: g :: Int Int