showTerm :: Term -> String
showTerm (Structure "[" ts) = "[" ++ showList ts ++ "]"
showTerm :: Term -> String
showTerm (Structure "[" ts) = "[" ++ showList ts ++ "]"
showTerm (Structure "[" ts) = "[" ++ showList ts ++ "]"