diff --git a/test/monomial.jl b/test/monomial.jl
index 3f75aa1..7cee46b 100644
--- a/test/monomial.jl
+++ b/test/monomial.jl
@@ -33,6 +33,13 @@ function test_monomial(x, y)
         @test sprint(print, basis) == "SubBasis{Monomial}([y, x])"
     end
 
+    @testset "FullBasis type stability" begin
+        fb = @inferred MB.FullBasis{MB.Monomial}(x * y)
+        @test isconcretetype(typeof(fb))
+        a = @inferred MB.algebra_element(x + y)
+        @test isconcretetype(typeof(a))
+    end
+
     @testset "FullBasis printing" begin
         fb = MB.FullBasis{MB.Monomial}(x * y)
         @test sprint(show, fb) == "FullBasis{Monomial}([x, y])"