関数型プログラミング言語Haskell Part32

[488 デフォルトの名無しさん 2019/09/26(木) 14:20:58.03 ID:iXd9J4xZ]

skolem type variable のことだよ＾＾