foo : {one : <Con U8|Con2 U8 take>,two : <Con U8|Con2 U8>}# -> U8;
test : Unit -> U8;
test u = let v = Con (3 : U8 : U8 : U8) : <Con U8|Con2 U8 take>
         in (foo[] : {one : <Con U8|Con2 U8 take>,two : <Con U8|Con2 U8>}#
                     -> U8) ({one = v : <Con U8|Con2 U8 take>
                             ,two = v : <Con U8|Con2 U8>} : {one : <Con U8
                                                                   |Con2 U8 take>
                                                            ,two : <Con U8
                                                                   |Con2 U8>}#) : U8
         end : U8;