型レベルプログラミング
#関数型プログラミング
#Haskell
#Scala
#WIP
型関数
https://qiita.com/rooooomania/items/c6da1158d676e6fe87e2
参考
Basic Type Level Programming in Haskell
Haskellにおける型レベルプログラミングの基本(翻訳)