A small collection of useful functional and category-theoretic goodies for Python