---------------- > phantom types:
> the types of ghost values (in other words, we are only interested in > the type, not in any value of that type).
Mmm... Still not seeing a great amount of use for this one.
Okay, well phantom types are something I like because they allow some notion of static capabilities, a la
http://okmij.org/ftp/papers/lightweight-static-capabilities.pdf One of my big interests is how much of a true capability based security system can be pushed up into the type level.