TY - RPRT TI - Understanding Profunctor Optics: a representation theorem AU - Guillaume Boisseau PY - 2020 UR - https://arxiv.org/abs/2001.11816 ID - 2001.11816 ER -