symbol2String [notAtom] = throwError $ TypeMismatch "symbol" notAtom
symbol2String [notAtom] = throwError $ TypeMismatch "symbol" notAtom
symbol2String [notAtom] = throwError $ TypeMismatch "symbol" notAtom