module ShouldFail where

q = \ (y:z) -> z+2