[ Value
    { symbolModule = ModuleName "Rec1" , symbolName = Ident "rec1_1" }
, Value
    { symbolModule = ModuleName "Rec1" , symbolName = Ident "rec1_2" }
, Value
    { symbolModule = ModuleName "Rec3" , symbolName = Ident "rec3" }
]