Type exploration

by Brian Jacob