-- express any monoid as a list in some "language"
runMonoid :: Monoid b => (a -> b) -> [a] -> b
runMonoid f [] = mempty
runMonoid :: Monoid b => (a -> b) -> [a] -> b
runMonoid f [] = mempty
runMonoid f [] = mempty