Elsewhere we explicitly mention in the documentation that types like this describe an interface and shouldn't be constructed.