IDesc@ICFP: clarify our functional-like presentation of eliminators.
IDesc@ICFP: clarify our functional-like presentation of eliminators.
kwangkim/pigment,kwangkim/pigment,brixen/Epigram,kwangkim/pigment