CLOUDHOTSGIRL

Type Inference Rule