Results for: Functional Programming Category Theory