Control.Monad.Trans.Tainted
data
TaintedT
m a
hoistTainted