Incorporate Monads and Category Theory · HackerLangs