Optimal Representations of Polymorphic Types with Subtyping (Extended Abstract)