diff --git a/lib/Quox/Token.idr b/lib/Quox/Token.idr
index 1f330fb..a997693 100644
--- a/lib/Quox/Token.idr
+++ b/lib/Quox/Token.idr
@@ -24,7 +24,8 @@ data Punc
 
 public export
 data Keyword
-= Fun | Let | In | Case | Of | Omega
+= Lam | Let | In | Case | Of | Omega
+| Pi | Sigma | W | TYPE
 
 %runElab derive "Keyword" [Generic, Meta, Eq, Ord, DecEq, Show]
 
diff --git a/tests/Tests/Lexer.idr b/tests/Tests/Lexer.idr
index c3f0fe7..04ba205 100644
--- a/tests/Tests/Lexer.idr
+++ b/tests/Tests/Lexer.idr
@@ -124,7 +124,11 @@ tests = "lexer" :- [
     acceptsWith' "case" [K Case],
     acceptsWith' "of"   [K Of],
     acceptsWith' "ω"    [K Omega],
-    acceptsWith' "funk" [Name "funk"]
+    acceptsWith' "Π"    [K Pi],
+    acceptsWith' "Σ"    [K Sigma],
+    acceptsWith' "W"    [K W],
+    acceptsWith' "★"    [K TYPE],
+    acceptsWith' "WAAA" [Name "WAAA"]
   ],
 
   "numbers" :- [