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