The category of topological spaces and continuous maps.

Construct a bundled Top from the underlying type and the typeclass.

The discrete topology on any type.

The trivial topology on any type.