You must now include an 'inverseKind' property on abstract polymorphic types