-- | invokeFails is a suitable call for unrecognized tokens
--
-- This will pass unrecognized annotations, handle some standard
-- annotations, and also handle discretionary seal and unseal 
-- actions. Otherwise, it will fail with appropriate message.
invokeDefault :: (Monad cx) => String -> Prog cx
invokeDefault ('&':anno) = invokeAnno anno
invokeDefault :: (Monad cx) => String -> Prog cx
invokeDefault ('&':anno) = invokeAnno anno
invokeDefault ('&':anno) = invokeAnno anno