cyclops-pure should be the main focus for higher kinded abstractions - much simpler to implement support for new types and much closer to what Scala libraries or Arrow-kt do.