Reified: simplified Utils.typeCheck