1type A
2
3free : A -> ()
4
5f : {f1 : A} -> {f1 : A} take f1
6f r = let r {f1=a} = r
7      and r {f1=b} = r
8       in r
9