from GHC拡張一覧

型クラスの定義内のmethodの定義に、型クラス制約を書ける