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