Francesco Mazzoli <f <at> mazzo.li> writes: > ...nothing prevents you from forming types of type... Here I obviously meant ‘terms of types’. Francesco