import Test.QuickCheck
import System.Random
--import Language.Haskell.ER.VarBind
--import Language.Haskell.TH
import Language.Haskell.ER.Equation as E
import System.IO.Unsafe

import Language.Haskell.ER.Test.Subst
import Language.Haskell.TH
import Language.Haskell.TH.Syntax
import GHC.Base