[__jem]

> the return type of MyWidgetFactory() probably isn't.

Isn't the return type of a widget factory method obviously Widget? This doesn't seem like a great example. Of course the method name could be wrong and not enforced at the language level like something between angle brackets, but idk.