eated with 'Expected' constructor that tells
-- the system that string @s@ is expected.

exStr :: String -> Message
exStr s = Expected $ showToken s

-- | @exSpec s@ returns message
exStr :: String -> Message
exStr s = Expected $ showToken s
exStr s = Expected $ showToken s