infer generic statements