On 28.09.20 23:08, claptrap wrote: > Instead of first class types (Stefan's type functions do not give you first-class types. A first-class type you could put in a runtime variable.)