toSimple (Global gRs rs) = foldr (\r xs -> (addGlobalContext <$> toSimple r <*> gRs) ++ toSimple r ++ xs) [] rs
toSimple (Global gRs rs) = foldr (\r xs -> (addGlobalContext <$> toSimple r <*> gRs) ++ toSimple r ++ xs) [] rs
toSimple (Global gRs rs) = foldr (\r xs -> (addGlobalContext <$> toSimple r <*> gRs) ++ toSimple r ++ xs) [] rs