organized typeclass instances and introduced MonoidOps