Enable test running in CI

Author: kozross

.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

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 ::