It is already inherited by the base class, and we don't need to import
it explicitly.

Make sure we return the correct type.  This obsoletes the cast
constructor trick.

For type safety and code readability.