Type Experiments

by Nate Ward