1type Rec1 = { f1 : U8 } take f1 2type Rec2 = { f1 : U8 } 3 4 5foo : <Con Rec1> -> () 6 7bar : <Con Rec2> -> () 8bar x = foo x 9