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