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.