Refactoring for smaller Base.hs. #2
Description
Overall, the base product is too big, there is a lot of plumbing function in the file. Some of these functions do not even depend on any variables types. For instance, the functions for properties really belong into another module. Some other functions, though, do depend more or less profoundly on the variable types. Most of these functions could be factored though to go somewhere else by using modest means of parameterization/polymorphism. The bottom line our approach is hard to sell with such a huge amount of functionality sitting in a module that is subject to meta-programming. The ultimate Base.hs must be small. This refactoring requires some profound functional programming skills, which I am sure both Rodrigo and me have.