
tcfail185.hs:7:46:
    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
