@override Option<B> foldMapO<B>(Semigroup<B> si, B f(V a)) => foldMap(new OptionMonoid(si), composeF(some, f));