Experimental subtyping constraints