Has型クラス
https://stackoverflow.com/questions/11789552/type-keyword-in-class-and-instance-declarations
https://hackage.haskell.org/package/has-0.5.0.1/docs/Data-Has.html
Recordの問題の提案とかに出てくるHas型クラスはこれのことなのか
#??