module ShouldFail where

z = \y -> x x where x = y