T3177a.hs:8:6:
    ‘Int’ is applied to too many type arguments
    In the type signature for ‘f’: f :: Int Int

T3177a.hs:11:6:
    ‘Int’ is applied to too many type arguments
    In the type signature for ‘g’: g :: Int Int