T2507.hs:5:7: error: [GHC-83865]
    * Couldn't match expected type `Int' with actual type `()'
    * In the expression: ()
      In an equation for `foo': foo = ()