sized list with multiplication monoid on size indices