I can combine UnificationFailure and PatternMatchingFailure but I prefer to keep it this way.