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