Recommended listening during read: https://open.spotify.com/track/1vBb916w3u10h8U87QJ1GNLaziness with Representable Functors3191Brian LonsdorfChet CorcosFollowJul 22, 2017 · 1 min readSo sad!!