TY  - RPRT
TI  - You may implement this later: Cofunctors as partial implementations
AU  - Vincent Wang-Maścianica
PY  - 2026
UR  - https://arxiv.org/abs/2608.27180
ID  - 2608.27180
ER  -