There is a ‘dotty’ branch based on the ‘2.12’ branch. There are a number of compile issues related to higher-kinds.
Examples include:
unreducible application of higher-kinded type [A] =>> CC[A] to wildcard arguments
Any help or pointers would be appreciated.