Control.Monad.Distributive

swap

class Takeout m y

putin

putin1

class Leftdistr m

class Rightdistr m

ldist'

rdist'