module RefineF (module RefineF, module RefineG) where

import RefineG

f1 :: String 
f1 = "f1"