I would like to use [DistributiveCat](https://github.com/con-kitty/concat/blob/master/classes/src/ConCat/Category.hs#L2208-L2209) to rewrite expressions involving [Data.Distribute.distribute](https://hackage.haskell.org/package/distributive-0.6.2.1/docs/Data-Distributive.html#t:Distributive)