tagged ====== Values carrying an extra [phantom type](http://www.haskell.org/haskellwiki/Phantom_type) tag.