module Main where

import qualified RefineB as RA ( b1 )
import qualified RefineC as RA ( c1 )
import RefineD
import Data.List (intercalate)

main :: IO ()
main = putStrLn 
     $ "hello " 
    <> intercalate ", " [RA.b1, RA.c1, e2]