SetK didn't have map because it isn't deterministi...
# arrow
p
SetK didn't have map because it isn't deterministic on order IIRC