`Arrow` is the type class providing combinators… K...
# arrow
p
Arrow
is the type class providing combinators… Kleisli is the instance providing an “effectful” version of a regular function