It is currently possible to create instances of typed lists (as per T291043 )
This should be extended to allow to create instances of any generic type, i.e. to allow to have a type that is specified by a function call.
- Typed list
- Typed pair
- Typed map
- create an instance of a Z885/Errortype to type of an error type, e.g. Z511/Key not found
- create an instance of a Z882/Type pair of, say, Z6/String and Z6/String