What is a phantom type? A phantom type is a piece of type information that has no runtime meaning. We use phantom types to add type information where we have no need for a runtime representation. Phantom types allow us to increase type-safety and even better organize code! Why should I care about type safety? There are two main reasons that come…