I really want to learn category theory, if I could have some free time blog generator cis1940 category sokoban functional pl