Which is applied using `Kind` = `Kind<ForIO, A&...
# arrow
s
Which is applied using
Kind
=
Kind<ForIO, A>