you need a bidirectional transformation between Ki...
# arrow
p
you need a bidirectional transformation between Kind<ForCompletionStage, A> and CompletionStage<A>