ga_cancelr = Code <[ \(x,_) -> x ]>
ga_uncancell = Code <[ \x -> (%%(),x) ]>
ga_uncancelr = Code <[ \x -> (x,%%()) ]>
ga_assoc = Code <[ \((x,y),z) -> (x,(y,z)) ]>
ga_unassoc = Code <[ \(x,(y,z)) -> ((x,y),z) ]>
ga_cancelr = Code <[ \(x,_) -> x ]>
ga_uncancell = Code <[ \x -> (%%(),x) ]>
ga_uncancelr = Code <[ \x -> (x,%%()) ]>
ga_assoc = Code <[ \((x,y),z) -> (x,(y,z)) ]>
ga_unassoc = Code <[ \(x,(y,z)) -> ((x,y),z) ]>