@override StateT<F, S, B> bind<A, B>(covariant StateT<F, S, A> fa, covariant Function1<A, StateT<F, S, B>> f) => fa.bind(f);