On Tue, Dec 10, 2013 at 2:20 PM, Lukasz Stafiniak <lukstafi@gmail.com>wrote:

> On Mon, Dec 9, 2013 at 10:34 PM, Lukasz Stafiniak <lukstafi@gmail.com>wrote:
>
>> The annotation needs to be directly at the "function" node:
>>
>>
> Even better: no (additional) annotation is needed if I export the
> beta-redex as a match clause.
>
*as a match expression