better type inference