Control.Monad.Operational.Class

class t :! m