Pattern comments on Eukryt Wrts Blg

[Pattern]

Category Theory Without The Baggage seems relevant.