Programming Language Programming Language Arrows Haskell/Understanding arrows Programming with Arrows Arrows: A General Interface to Computation Arrows and computation Name binding Bound De Bruijn index Haskell criterion