; error: 2:23: definline 'f': only plain binders such as :x are supported in a definline body
(definline :f :x ((fn {~a} a) x))
1