shadedshapeless
Utility that measures the compilation time of a code fragment.
A utility which ensures that a code fragment does not typecheck.