Такое возможно только в динамическом языке. Когда вычисления на типах ничем не отличаются от вычислений на остальных данных. Но накладывается требование, что _почти_ во всех местах типы должны быть вычислены на этапе компиляции.