type exploration

by David Carson