Welcome to the no-types universe!