Arrow types

Arrow types are a concept in programming, particularly in functional programming and type theory. They can be thought of as a way to generalize functions and represent computations. An arrow is often used to describe computations that have an input-output relation but can also include additional structure, such as the ability to combine or sequence computations.