Parameter-free polymorphic types