tagged-transformer

Monad transformer carrying an extra phantom type tag.