Object oriented programming uses terms like is-a (inheritance)
class Cat extends Animal
// cat is-a animal
and has-a (composition)
class Car(engine: Engine)
// car has-a engine
to describe relationships between types. Along those lines, what would be terminology used to describe the relation between two types created by a type class
List ? Functor[List]
|___|
|
what relation is this?