Putting types to good use door