/math/hs-indexed-profunctors/