Code for this project can be found in my experiments github repo (polysemy-arrows folder). It is based on polysemy 1.3.0.0.