Modules
Data.Commutative
Data.Mergeable