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