Servant.Utils.Enter
type family Entered m n api where ...
class Enter typ m n ret
liftNat
runReaderTNat
evalStateTLNat
evalStateTSNat
logWriterTSNat
logWriterTLNat
hoistNat
embedNat
squashNat
generalizeNat
data (k :~> f) g