ConstrainedClassMethods
from
GHC拡張一覧
ConstrainedClassMethods
型クラスの定義内のmethodの定義に、
型クラス制約
を書ける