-- default annotations... only one right now
invokeAnno :: (Monad cx) => String -> Prog cx
invokeAnno ('≡':[]) = assertEQ
i
invokeAnno :: (Monad cx) => String -> Prog cx
invokeAnno ('≡':[]) = assertEQ
invokeAnno ('≡':[]) = assertEQ