Phantom types not only allow you to capture constraints, which are proved by the compiler, they are also perfectly cheap computationally, because you don't have to check things at runtime all the time.

I’m whacked on antidepressants and Diet Coke, and i’m willing to bet my buzz is better. But whatever creams your twinkie.

Anyway, I love the Jet Set Radio soundtrack (as well as the game) and in particular the tracks by Guitar Vader. So after a bunch of web browsing I found Guitar Vader are selling their skillo album 'Die Happy' on Mp3.com*.

This week we introduce Jenny Walker, who will be The Observer's expert pundit for the duration of the World Cup.