Feature request: (methods, Type) could also return constructors for Type

[mahrud]

trafficstars

For instance, if I wanted to know what are all the ways of constructing a Variety, this, or another similar method, would be useful.