direct let makes a difference for type inference.