raulraja
03/20/2019, 9:29 PM@higherkind data class ListK<A>(val list: List<A>): ListKOf<A>
// Generates the following code:
//
// class ForListK private constructor() { companion object {} }
// typealias ListKOf<A> = Kind<ForListK, A>
// fun ListKOf<A>.fix() = this as ListK<A>
raulraja
03/20/2019, 9:30 PMListK
for Gen