prop_IdemParseShow :: Term -> Property
prop_IdemParseShow x = not (isVar x) ==> x == toTerm (show x)
    where
      isVar :: Term -> Bool
      isVar (Var _) = True
      isVar _       = False
prop_IdemParseShow :: Term -> Property
prop_IdemParseShow x = not (isVar x) ==> x == toTerm (show x)
    where
      isVar :: Term -> Bool
      isVar (Var _) = True
      isVar _       = False
prop_IdemParseShow x = not (isVar x) ==> x == toTerm (show x)
    where
      isVar :: Term -> Bool
      isVar (Var _) = True
      isVar _       = False