One important aspect of programming with functors is the ability to quantify over them, i.e. higher-kinded types. This is crucial for building reusable componen

One important aspect of programming with functors is the ability to quantify over them, i.e. higher-kinded types. This is crucial for building reusable components on the functor-level of abstraction. In modern OOP this would amount to quantifying over interfaces which is typically not even possible in those languages.