Type sets

by Ben Wong