bound-extras-0: examples/sysf-id.txt

id : (-> a a)
id = (poly b (fn (the b x) x))
id = (poly b (fn (the b x) x))