Experiments with type

by Chrisedmo