brucie·4 年前·議論Isn’t it a kind of proof that a function is generic? I can map over some xs with an f and produce ys.