brucie·4 lata temu·discussIsn’t it a kind of proof that a function is generic? I can map over some xs with an f and produce ys.