Eq for Element compiles!