Thinking about types, typing about thinks.

Thinking about types, typing about thinks.