T11663.hs:6:12: error:
    Illegal type signature: ‘Int’
      Type signatures are only allowed in patterns with ScopedTypeVariables

T11663.hs:7:9: error:
    Illegal type signature: ‘Int’
      Type signatures are only allowed in patterns with ScopedTypeVariables

T11663.hs:8:22: error:
    Illegal type signature: ‘Int’
      Type signatures are only allowed in patterns with ScopedTypeVariables

T11663.hs:9:32: error:
    Illegal type signature: ‘Int’
      Type signatures are only allowed in patterns with ScopedTypeVariables