来源：https://stackoverflow.com/questions/62733726/arrow-law-first-depends-only-on-the-first-component-of-the-pair-why-do-we-need 标签 haskell monads arrows combinators kleisli
