Background reading

I’ll try to collect several links with background reading.

QuickCheck

Monads, arrows, and applicative functors