tcfail185.hs:7:46: error:
    • Couldn't match expected type ‘Int -> Int’ with actual type ‘Bool’
    • In the expression: x
      In the expression:
        let
          y1 = y
          y2 = y1
          y3 = y2
          ....
        in x
      In the expression:
        \ x y
          -> let
               y1 = ...
               ....
             in x