Type exploration

by Yuki Wu