/math/hs-NumInstances/