Investigate getting around mkTrApp calls #64
Description
We currently have a lot of calls to mkTrApp hanging around because we need Typeable in a lot of places. When running cabal test all mkTrApp is 10% (!!!!) of the entire runtime.