RankNTypes - mrsekut-p

RankNTypes

古い

PolymorphicComponents

参考

続くといいな日記 – 多相関数を第一級で取り扱う

/haskell-shoen/RankNTypes

できること

Nが2以上のRank N Polymorphismな関数を作れる

etc.

他もできるっぽいが調べきれていない

code:hs

type Append = forall a. a -> a -> a

こんなのとか

https://qiita.com/ruicc/items/0818dd093349b0b0a838#rankntypesによるforall