Type exploration A

by Richard Leighton