17:36
<Michael Ficarra>
haskell has alter which... is basically as generic as possible
alter :: (Eq k, Hashable k) => (Maybe v -> Maybe v) -> k -> HashMap k v -> HashMap k v is crazy, I was not expecting that
17:38
<shu>
another L for the category theorists
17:47
<Michael Ficarra>
I mean it's cool that every Maybe v -> Maybe v is an operation that makes sense, but I'd probably just make 4 functions
17:50
<Ashley Claymore>
I assume `Some -> None` deletes the key? Rather than implies no alteration