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#定義と性質