Tidying types