Notices by Alice (prophet@functional.cafe)

@whitequark @thephd @eniko @rotopenguin it's (slightly) more reasonable because of their way of compiling curried functions (push/enter) though, isn't it?

at least, that's how the ZINC paper justifies it (section 2.2.3): https://inria.hal.science/inria-00070049/document