Indentation
Gather profiling information for all "quick" levels
Let's keep the two solutions (TypeFamilies and MultiParamTypeClasses) until we can decide which one is better