Recursive subtyping revealed (cid:227)