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.