Monoid

Try to keep everything in the same type, such the notion of treating all data in terms of Page/File/Service, so that all elements have the same common features, is a way to control complexity. In other words, Monoid is a category theoretical strategy to conduct Universal data abstraction.