tranny demon hacker on Nostr: like, if map f . map g = map (f . g) is relevant, cool, but the point is that the ...
like, if map f . map g = map (f . g) is relevant, cool, but the point is that the functions are equal and then we move on having transformed our code. those proofs are ephemeral