I think we should filter Monoid.zero