Also, to be honest, there are way more forms of electric current. There is plasma conductivity, superconducting pairs dynamics, molecular conductivity through coupled orbitals, quasiparticle conductivity and other weirdness of solid state (Hall effect shows whether it’s electrons or holes where electrons are missing are charge carriers, for example). World is beautiful.