> Perhaps (eval #[]) should evaluate to [] instead of #[]?

An alternative is to fix the counter intuitive fact that (eq [] [])
is t. Doing so could break Elisp code that relies on the behavior, and
possibly impact performance.