We thought that phantom types would be an appropriate topic for our first realpost because they are a good example of a powerful and useful feature of OCamlt...