We thought that phantom types would be an appropriate topic for our first real post because they are a good example of a powerful and...