diff --git a/src/Rings.jl b/src/Rings.jl
index 5737fdca5..54508af58 100644
--- a/src/Rings.jl
+++ b/src/Rings.jl
@@ -122,5 +122,3 @@ include("arb/ComplexMat.jl")
 include("gaussiannumbers/ZZi.jl")
 
 include("Factor.jl")
-
-include("polysubst.jl")
diff --git a/src/flint/fmpz_mod_poly.jl b/src/flint/fmpz_mod_poly.jl
index ac6982c31..d2ac1e157 100644
--- a/src/flint/fmpz_mod_poly.jl
+++ b/src/flint/fmpz_mod_poly.jl
@@ -949,19 +949,6 @@ promote_rule(::Type{T}, ::Type{ZZRingElem}) where {T <: Zmodn_fmpz_poly} = T
 
 promote_rule(::Type{ZZModPolyRingElem}, ::Type{ZZModRingElem}) = ZZModPolyRingElem
 
-###############################################################################
-#
-#   Polynomial substitution
-#
-###############################################################################
-
-function (f::ZZModPolyRingElem)(a::ZZModRingElem)
-  if parent(a) != base_ring(f)
-    return subst(f, a)
-  end
-  return evaluate(f, a)
-end
-
 ################################################################################
 #
 #  Parent object call overloads
diff --git a/src/flint/fq_default_poly.jl b/src/flint/fq_default_poly.jl
index 95133a33f..ed5fc719e 100644
--- a/src/flint/fq_default_poly.jl
+++ b/src/flint/fq_default_poly.jl
@@ -788,19 +788,6 @@ promote_rule(::Type{FqPolyRingElem}, ::Type{ZZRingElem}) = FqPolyRingElem
 
 promote_rule(::Type{FqPolyRingElem}, ::Type{FqFieldElem}) = FqPolyRingElem
 
-###############################################################################
-#
-#   Polynomial substitution
-#
-###############################################################################
-
-function (f::FqPolyRingElem)(a::FqFieldElem)
-  if parent(a) != base_ring(f)
-    return subst(f, a)
-  end
-  return evaluate(f, a)
-end
-
 ################################################################################
 #
 #   Parent object call overloads
diff --git a/src/flint/fq_nmod_poly.jl b/src/flint/fq_nmod_poly.jl
index 811ffa91a..d536a8381 100644
--- a/src/flint/fq_nmod_poly.jl
+++ b/src/flint/fq_nmod_poly.jl
@@ -790,19 +790,6 @@ promote_rule(::Type{fqPolyRepPolyRingElem}, ::Type{ZZRingElem}) = fqPolyRepPolyR
 
 promote_rule(::Type{fqPolyRepPolyRingElem}, ::Type{fqPolyRepFieldElem}) = fqPolyRepPolyRingElem
 
-###############################################################################
-#
-#   Polynomial substitution
-#
-###############################################################################
-
-function (f::fqPolyRepPolyRingElem)(a::fqPolyRepFieldElem)
-  if parent(a) != base_ring(f)
-    return subst(f, a)
-  end
-  return evaluate(f, a)
-end
-
 ################################################################################
 #
 #   Parent object call overloads
diff --git a/src/flint/fq_poly.jl b/src/flint/fq_poly.jl
index a91b3d8f2..f3615f9ea 100644
--- a/src/flint/fq_poly.jl
+++ b/src/flint/fq_poly.jl
@@ -782,19 +782,6 @@ promote_rule(::Type{FqPolyRepPolyRingElem}, ::Type{ZZRingElem}) = FqPolyRepPolyR
 
 promote_rule(::Type{FqPolyRepPolyRingElem}, ::Type{FqPolyRepFieldElem}) = FqPolyRepPolyRingElem
 
-###############################################################################
-#
-#   Polynomial substitution
-#
-###############################################################################
-
-function (f::FqPolyRepPolyRingElem)(a::FqPolyRepFieldElem)
-  if parent(a) != base_ring(f)
-    return subst(f, a)
-  end
-  return evaluate(f, a)
-end
-
 ################################################################################
 #
 #   Parent object call overloads
diff --git a/src/flint/gfp_fmpz_poly.jl b/src/flint/gfp_fmpz_poly.jl
index b3584a669..1b86882bc 100644
--- a/src/flint/gfp_fmpz_poly.jl
+++ b/src/flint/gfp_fmpz_poly.jl
@@ -474,19 +474,6 @@ promote_rule(::Type{FpPolyRingElem}, ::Type{FpFieldElem}) = FpPolyRingElem
 
 promote_rule(::Type{FpPolyRingElem}, ::Type{ZZRingElem}) = FpPolyRingElem
 
-###############################################################################
-#
-#   Polynomial substitution
-#
-###############################################################################
-
-function (f::FpPolyRingElem)(a::FpFieldElem)
-  if parent(a) != base_ring(f)
-    return subst(f, a)
-  end
-  return evaluate(f, a)
-end
-
 ################################################################################
 #
 #  Parent object call overloads
diff --git a/src/flint/gfp_poly.jl b/src/flint/gfp_poly.jl
index 6e97e5bca..e8e57434c 100644
--- a/src/flint/gfp_poly.jl
+++ b/src/flint/gfp_poly.jl
@@ -525,19 +525,6 @@ promote_rule(::Type{fpPolyRingElem}, ::Type{ZZRingElem}) = fpPolyRingElem
 
 promote_rule(::Type{fpPolyRingElem}, ::Type{fpFieldElem}) = fpPolyRingElem
 
-###############################################################################
-#
-#   Polynomial substitution
-#
-###############################################################################
-
-function (f::fpPolyRingElem)(a::fpFieldElem)
-  if parent(a) != base_ring(f)
-    return subst(f, a)
-  end
-  return evaluate(f, a)
-end
-
 ################################################################################
 #
 #  Parent object call overloads
diff --git a/src/flint/nmod_poly.jl b/src/flint/nmod_poly.jl
index f076f5117..18c981a3a 100644
--- a/src/flint/nmod_poly.jl
+++ b/src/flint/nmod_poly.jl
@@ -959,19 +959,6 @@ promote_rule(::Type{zzModPolyRingElem}, ::Type{ZZRingElem}) = zzModPolyRingElem
 
 promote_rule(::Type{zzModPolyRingElem}, ::Type{zzModRingElem}) = zzModPolyRingElem
 
-###############################################################################
-#
-#   Polynomial substitution
-#
-###############################################################################
-
-function (f::zzModPolyRingElem)(a::zzModRingElem)
-  if parent(a) != base_ring(f)
-    return subst(f, a)
-  end
-  return evaluate(f, a)
-end
-
 ################################################################################
 #
 #  Parent object call overloads
diff --git a/src/polysubst.jl b/src/polysubst.jl
deleted file mode 100644
index d4ed10d2e..000000000
--- a/src/polysubst.jl
+++ /dev/null
@@ -1,35 +0,0 @@
-for T in [
-  zzModPolyRingElem,
-  fpPolyRingElem,
-  ZZModPolyRingElem,
-  FpPolyRingElem,
-  QQPolyRingElem,
-  ZZPolyRingElem,
-  FqPolyRepPolyRingElem,
-  fqPolyRepPolyRingElem,
-  FqPolyRingElem,
-  AcbPolyRingElem,
-  ArbPolyRingElem,
-  ComplexPolyRingElem,
-  RealPolyRingElem,
-  ]
-  (f::T)(a) = subst(f, a)
-
-  function (f::T)(a::T)
-    if parent(f) != parent(a)
-      return subst(f, a)
-    end
-    return compose(f, a, inner = :second)
-  end
-
-  (f::T)(a::Integer) = evaluate(f, a)
-
-  function (f::T)(a::RingElem)
-    if parent(a) != base_ring(f)
-      return subst(f, a)
-    end
-    return evaluate(f, a)
-  end
-
-end
-