Type Setting exercise

by Nicholas Guthrie