Control.Monad.Operational.TH