Reading through Typeclassopedia by Brent Yorgey