--- a/src/urweb.grm	Thu Sep 11 19:59:31 2008 -0400
+++ b/src/urweb.grm	Sat Sep 13 10:30:45 2008 -0400
@@ -543,6 +543,13 @@
                                                 ((CAbs (SYMBOL, SOME kind, c), loc),
                                                  (KArrow (kind, k), loc))
                                             end)
+       | UNDER DCOLON kind              (fn (c, k) =>
+                                            let
+                                                val loc = s (UNDERleft, kindright)
+                                            in
+                                                ((CAbs ("_", SOME kind, c), loc),
+                                                 (KArrow (kind, k), loc))
+                                            end)
        | cargp                          (cargp)
 
 cargp  : SYMBOL                         (fn (c, k) =>
@@ -552,6 +559,13 @@
                                                 ((CAbs (SYMBOL, NONE, c), loc),
                                                  (KArrow ((KWild, loc), k), loc))
                                             end)
+       | UNDER                          (fn (c, k) =>
+                                            let
+                                                val loc = s (UNDERleft, UNDERright)
+                                            in
+                                                ((CAbs ("_", NONE, c), loc),
+                                                 (KArrow ((KWild, loc), k), loc))
+                                            end)
        | LPAREN SYMBOL DCOLON kind RPAREN (fn (c, k) =>
                                               let
                                                   val loc = s (LPARENleft, RPARENright)