-- Returns the lexical entries to which the given strings map. We assume for simplicity that one word maps to at most one lexical entry.
    entries :: [String] -> Maybe [Entry]
    entries []     = Just []
entries :: [String] -> Maybe [Entry]
entries []     = Just []
entries []     = Just []