narc-rs
narc-rs copied to clipboard
Implicit application
https://github.com/AndrasKovacs/elaboration-zoo/blob/af8f8e47768285e4ee5a10c2c2313c2768235279/04-implicit-args/Main.hs#L494