“dotty type”