Infer.makeTypeRef: pattern match with no _