lift :: Markup' t -> Markup t ()
lift m' = Markup $ \i _ -> MarkupStep
  { msGlobalId = i
  , msChildren = (m':)
  , msResult = ()
  }
lift :: Markup' t -> Markup t ()
lift m' = Markup $ \i _ -> MarkupStep
  { msGlobalId = i
  , msChildren = (m':)
  , msResult = ()
  }
lift m' = Markup $ \i _ -> MarkupStep
  { msGlobalId = i
  , msChildren = (m':)
  , msResult = ()
  }