Haskell じゃなくて、GHC か

Haskell、higher-rank type alias、type family とかいれて、あそこまでの自然な type-level の使用感を出せてるのすごいな (自然な使い方ができるとは言っていない)。type system 設計してると改めて思うわ