Request for Comment on draft paper: "Simple, Decidable Type Inference with Subtyping". It's not like my advisor(s) have any time to comment.