diff --git a/q6.tex b/q6.tex
index 943090d..9aeb22c 100644
--- a/q6.tex
+++ b/q6.tex
@@ -102,7 +102,7 @@
     Elem x (y ': xs) = Elem x xs
 
 type family Accepts 
-    (q :: Q) (fs :: [Q]) (w :: [E]) :: Bool where 
+    (q :: State) (fs :: [State]) (w :: [Symbol]) :: Bool where 
     Accepts q fs w = Elem (DeltaHat q w) fs
 \end{minted}
         \end{solution}
@@ -122,8 +122,8 @@
         \begin{solution}
             \emph{Application.} 
 \begin{minted}{haskell}
-class ReifySymbol (q :: E) where 
-    reifySymbol :: SProxy q -> E
+class ReifySymbol (q :: Symbol) where 
+    reifySymbol :: SProxy q -> Symbol
 
 instance ReifySymbol ZERO where 
     reifySymbol _ = ZERO