/posts/2017-06-26-typelevel-programming-dependent-type-template-haskellを開いてください。