>>749
そのサイトにあるこの表現、

class VAFun a r f | f -> r where

この縦棒(←記号名を忘れた)は「または」の意味でいいんだよな？
ふつけると入門Haskellを読み返したがそういう表現は無かったので、
念のため確認。