Just for kicks, make Desc uni-polymorphic.

Why the hell not?