both Function and Kleisli are valid Arrow instance...
# arrow
p
both Function and Kleisli are valid Arrow instances