tagged
======

Values carrying an extra [phantom type](https://wiki.haskell.org/Phantom_type) tag.