NestedPatterns.dfy(75,23): Error: Duplicate parameter name: h
NestedPatterns.dfy(83,20): Error: Duplicate parameter name: h
NestedPatterns.dfy(91,23): Error: Duplicate parameter name: e
NestedPatterns.dfy(107,7): Error: the case pattern is a 2-element tuple, while the match expression is a 3-element tuple
NestedPatterns.dfy(120,21): Error: constructor nameDoesNotExist does not exist in datatype Tree
5 resolution/type errors detected in NestedPatterns.dfy
