Category Theory in Programming - eviltoast