1 2 3 4 5 6 7 8 9
-- !!! ds029: pattern binding with guards (dubious but valid) -- module ShouldCompile where f x = y where (y,z) | y < z = (0,1) | y > z = (1,2) | True = (2,3)