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.