you can still do the other style of returning Kind...

# arrow

[pakoito]

you can still do the other style of returning Kind<F, A>, or concrete to IO<A>, but this style seems to make both worlds meet!