2 Pattern match(es) are overlapped in the definition of function `a'
5 Pattern match(es) are overlapped in the definition of function `b'
6 ~(~x : (~xs : ~ys)) = ...
8 Pattern match(es) are overlapped in the definition of function `d'
12 Pattern match(es) are overlapped in the definition of function `f'
16 NOTE: Simplifier still going after 4 iterations; bailing out.