phantom type

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