Why do we have the dummy implicit here? This won't be callable from Java