module G where g1 :: String g1 = "g1"