来源：https://stackoverflow.com/questions/63639328/how-is-arr-fst-a-natural-transformation 标签 haskell functor category-theory arrows
