 ⇒ m ()
endKbd = do
    ["ENDKBD"] ← readLine
    pure ()

nameValue ∷ (Parser m, MonadFail m) ⇒ m (String, String)
nameValue = do
    [name, value] ← readLine
    pure (n
descriptions ∷ (Parser m, MonadFail m) ⇒ m ()
descriptions = do
    ["DESCRIPTIONS"] ← readLine
    void $ many (some hexDigitChar *> spacing *> endLine)
    pure ()
descriptions = do
    ["DESCRIPTIONS"] ← readLine
    void $ many (some hexDigitChar *> spacing *> endLine)
    pure ()