so what you do is `data class CompletionStageK<...
# arrow
p
so what you do is
data class CompletionStageK<A>(val c: CompletionStage<A>): CompletionStage<A> by c, Kind<ForCompletionStage, A>