For isomorphisms, this should be profunctor and functor
For isomorphisms, this should be profunctor and functor

Signed-off-by: Ricky Elrod <3de8762d49a778edd8b1aa9f381ea5a9ccb62944@elrod.me>

relrod/ba