2 ms·Simple Essence of Algebraic Subtyping: Principal Type Inference with Subtyping1 points by mpweiher 6y ago