package typed

type Universe map[TypeName]Type