diff --git a/test/runtests.jl b/test/runtests.jl
index 1f78bc6..838a31a 100644
--- a/test/runtests.jl
+++ b/test/runtests.jl
@@ -2,7 +2,14 @@ using GraphProperties
 using Test
 
 @testset "GraphProperties.jl" begin
-    # Write your tests here.
+    @testset "construction, subtyping" begin
+        @test PropertyComparison(==, Arboricity(), 2) isa GraphProperty{Bool}
+        @test PropertyComparison(<=, Boxicity(), 2) isa GraphProperty{Bool}
+        @test GraphIsChordal() isa GraphProperty{Bool}
+        @test Arboricity() isa GraphProperty{Integer}
+        @test FractionalChromaticNumber() isa GraphProperty{Real}
+        @test DegreeSequence() isa GraphProperty{AbstractVector}
+    end
 end
 
 using Aqua: Aqua