You can define your own proxy extensions by writing your own "proxy transformers". Proxy transformers are monad transformers that also correctly lift all proxy operations from the base proxy type to the extended proxy type. Stack multiple proxy transformers to chain features together.
Uniform interface to lifting proxies
To be removed in version