Phantom Type

Talk About Phantom Type

Using phantom type when programming can noticeably increase the robustness of the code by transfering the logic checking into type checking.