Data.Semigroup.Monad

data Action f

data Mon f m