Functional programming and category theory classes and utilities.