id spire monoid.id instead of my axle.algebra.Zero typeclass