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