Higher-kinded polymorphism — the abstraction over a type constructor to be later supplied with arguments — is often needed, for expressing generic operations over collections or embedding […]