>>751
> createList :: VAFun Int [Int] x => x
この型の意味がわからん。
ふつけるを読み返しては見たんだが…
xがVAFun か Int か [Int] って意味でいいのか？

> instance VAFun a [Int] [Int] where
こっちはますますわからん。
[Int]をふたつ渡すとVAFunになるような型ってことかな？