type inference and unary minus