-- | Jump to a 'label', see 'newLabel' for details. This function will fail
--   if 'label' is not used on the 'Label'.
goto :: Label -> Action ()
goto lbl = emit $ Goto lbl
goto :: Label -> Action ()
goto lbl = emit $ Goto lbl
goto lbl = emit $ Goto lbl