fix span monoid and add injection for map