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