type '_Type' is not a subtype of type 'Category' in type cast code example

Example: type '_Type' is not a subtype of type 'Widget'

wrong:
return Foo;
right:
return Foo();