refine Control.Monad.Operational.TH