New classes (Category, Fun, Index) and kind polymorphism example