hi is there any way to operate on `Kind<F,A>...
# arrow
t
hi is there any way to operate on
Kind<F,A>
type for example to map it to
Kind<F,B>
?