`typealias StateTPartialFOf<F> = Kind<Sta...
# arrow
s
typealias StateTPartialFOf<F> = Kind<StateT, F>
<- this leaves you with
StateT<F, ?, ?>
where
?
is used to denote not applied yet