to do CompletionStage<A> --> Kind<ForC...

# arrow

[pakoito]

to do CompletionStage<A> --> Kind<ForCompletionStage, A> you need to make CompletionStage implement Kind<ForCompletionStage, A>