proppie pipes, but with a slightly different Proxy type that makes some interesting interactions with profunctors (and hence profunctor optics) apparent.