correct order (didn't really cause any breakage)
simplify monoid instance with some helper types
reorder for consistency

Onrder does not matter for mappend on set
propellor spin