Type exploration

by Vinay Srinivasan