diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 01631c0..93220d8 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -24,7 +24,7 @@ jobs:
           ghc-version: ${{ matrix.ghc }}
           cabal-version: 'latest'
       - name: Configure
-        run: cabal new-configure
+        run: cabal new-configure --enable-tests
       - name: Freeze
         run: cabal freeze
       - name: Cache
@@ -35,3 +35,5 @@ jobs:
           restore-keys: ${{ runner.os }}-${{ matrix.ghc }}-
       - name: Build
         run: cabal build
+      - name: Run tests
+        run: cabal test
diff --git a/test/properties/Accum.hs b/test/properties/Accum.hs
index f84ac67..33698bc 100644
--- a/test/properties/Accum.hs
+++ b/test/properties/Accum.hs
@@ -296,7 +296,7 @@ accumLaws runAndCompare =
 
 typeName :: forall (a :: Type). (Typeable a) => String
 typeName =
-  let ourTyCon = typeRepTyCon $ typeRep @ a
+  let ourTyCon = typeRepTyCon $ typeRep @a
    in tyConModule ourTyCon <> "." <> tyConName ourTyCon
 
 theNeedful ::