I wanted to make sure that the type unification algorithm restricts the implementation of the class when included, when one of the polymorphic types is specified with a fixed type. It seems this works! I had the idea for this test while walking around aimlessly.