Inklings: a tumblelog

Phantom type

This is very clever. It’s basically a way to tag (for want of a better word) values using the type system to, for instance, distinguish between tainted and untainted data.