Sam Lindley; Philip Wadler; Jeremy Yallop; Idioms are oblivi- ous, arrows are meticulous, monads are promiscuous. Note:Idiom means applicative functor and is a useful search term for published work on applicative functors.