Servant.Utils.Enter
class Enter typ arg ret
liftNat
runReaderTNat
evalStateTLNat
evalStateTSNat
logWriterTSNat
logWriterTLNat
hoistNat
embedNat
squashNat
generalizeNat
data (k :~> f) g