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'