Putting types to good use by