First you apply `F` to `ForStateT` by doing `Kind&...
# arrow
s
First you apply
F
to
ForStateT
by doing
Kind<ForStateT, F>
which you could define as a new type