Tidy types