Exercise in type

by Chris Bowler