- Monads are like buckets, that's what they say anyway.
- Monoids are easy! I guess?
- Comonads are just objects... however that works O_o
- Cartography has nothing to do with these things.