Functional Programming Category Theory