In this post we're going to be looking at a more advanced use of Gleam's type system, known as phantom types. Hopefully by the end of this you'll have...