Hi!
The following returns false:
(a@{ b ? true }: a ? b) { }
It seems that after a@{...} a is not populated by default values. Is it a
bug, or a feature? Eelco, could you please make at least one of the
following evaluate to true?
(a@{ b ? true }: a ? b) { }
({ b ? true }@a: a ? b) { }