{-# LANGUAGE RecursiveDo #-}
no = mdo hook <- mkTrigger pat (act >> rmHook hook) ; return hook