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