actual quote from the other half of a pair programming session last week:

…so yeah, a monad is a monoid in the category of endofunctors.

other interesting terms that he used and i don’t yet understand:

- generic types
- generic functions
- functors (which i guess are related to endofunctors?)
- Church encoding

you know how they say if you’re the smartest person in the room, then find a new room? yeah, i’ll be in this room for a while, i think