raulraja
kapt
@higherkind class Option<A> { ... }
class Option<A> : HK<Option.F, A> { private class F }