so if you’re in a monomorphic context it works, if...
# arrow
p
so if you’re in a monomorphic context it works, if you’re in a polymorphic one you still have the same problem