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