GHC.TypeNats
https://hackage.haskell.org/package/base-4.15.0.0/docs/GHC-TypeNats.html
SomeNat型
https://qiita.com/mod_poppo/items/3a37424d299a9f71b757#実行時の値を型レベル自然数に持ち上げる
存在型
よりcompilerに近いmoduleといった感じかな
mrsekut.icon
someNatVal
など、一部compiler magic(チート)的な実装がある
これのwrapperとして
GHC.TypeLits
がある
SNat型
https://qiita.com/merliborn/items/57dff6c9c871daf090d9
Nat型
の
Singleton Type