Some published 8.0.1 installation pathways are fraught with problems. This works:

Download from dev.mysql.com/downloads/mysql/8.0.html, then run …

sudo dpkg -i
/home/my_username/Downloads/mysql-common_8.0.1-dmr-1ubuntu16.04_i386.deb
sudo apt-get update
sudo apt-get install mysql-server