ds003.hs:5: 
    Pattern match(es) are overlapped in the definition of function `f'
	    (x : (x1 : (x2 : x3))) ~(y, ys) z = ...
	    x y True = ...