2 ms·

I think you're confusing higher-kinded types with type classes. You're right that neither has type classes.