type exploration

by Trevor H. Payne