Experimenting with Type