型レベルの計算の目的と利点

とりあえず、今現在の型レベルの計算ってなんでやってるのかなぁっと。

現状の人気のある処理系でコンパイル時計算を行える。
元々の目的から離れたつかい方なので
基本的に一から作り出す面白さがある。
また、現在の処理系で動くので実益が得られる。
仕事で使える。