[ajtulloch]

This is an example of a 'phantom type'. See http://www.haskell.org/haskellwiki/Phantom_type (and references therein) for an explanation (including a motivation) of this technique.