The Simple Essence of Algebraic Subtyping: Principal Type Inference With Subtyping Made Easy (Functional Pearl)