they’re all expected to behave the same in that th...
# arrow
p
they’re all expected to behave the same in that they wrap a type A, and after applying the transformation they wrap a type B