MultiParamTypeClasses
multi-parameter type class
をやる
GHC拡張
型引数なしの
型クラス
も定義できる
自動的に
ConstrainedClassMethods
も有効になる