[jameshart]

I don’t understand why having the ability to describe such a type removes the need to be able to name it.