``` weightedMean :: forall m a. (MonadIO m, Fractional a) => Fold m ((w, a), Maybe (w, a)) a ``` where `w` is the weight of `a`.
where
wis the weight ofa.