Musings from a sack of potatoes trying to learning agda and category theory.