I was in a wrong context (not in the context of th...
# arrow
t
I was in a wrong context (not in the context of the functor) and got confused ­čśä thanks for the nudge in the right direction.