Pretty type.

Pretty type.