module RefineB where 

b1 :: String
b1 = "b1"

b2 :: String
b2 = "b2"