Error: Hooks Must Not Return Values.
In File tests/regress/bad-hook.lm Line 4 Column 1
f := (λ(': (a U64)).(': (a U64)))