CategoryTheoryAndFunctionalProgramming

Moved to CTFP10.