generated at
Distributive型クラス
from Representable型クラス
Distributive型クラス
https://hackage.haskell.org/package/distributive-0.3.1/docs/Data-Distributive.html#t:Distributive
よくわからん #??
Traversable型クラスの双対らしい
https://qiita.com/lotz/items/5a1a05c0dae1133a5f44#定義と性質