Adding kinded polymorphism in types

Merge request reports

Loading