In computer science, arrows or bolts are a type class used in programming to describe computations in a pure and declarative fashion. Wikipedia