module Data.ECTA.Term ( Symbol(Symbol) , Term(..) ) where import Data.ECTA.Internal.Term