No need for explicit type parameter declaration in PUSH