fp: ch4 notes, not monoids