Control.Monad.Operational.Class

type t :! m

singleton