Appendix C: Pointfree Utilities | mostly-adequate-guide