3 ms·
He's saying there is no abstraction over higher-kinded type constructors, i.e. no abstraction over types which accept their own type arguments.
by wetmore 10y ago
He's saying there is no abstraction over higher-kinded type constructors, i.e. no abstraction over types which accept their own type arguments.