--- a/src/lacweb.grm	Thu Jul 03 17:02:42 2008 -0400
+++ b/src/lacweb.grm	Thu Jul 03 17:14:35 2008 -0400
@@ -259,7 +259,12 @@
        | FN SYMBOL kcolon kind DARROW eexp (ECAbs (kcolon, SYMBOL, kind, eexp), s (FNleft, eexpright))
        | FN SYMBOL COLON cexp DARROW eexp (EAbs (SYMBOL, SOME cexp, eexp), s (FNleft, eexpright))
        | FN SYMBOL DARROW eexp          (EAbs (SYMBOL, NONE, eexp), s (FNleft, eexpright))
-       | FN cterm TWIDDLE cterm DARROW eexp(EDisjoint (cterm1, cterm2, eexp), s (cterm1left, eexpright))
+       | LBRACK cterm TWIDDLE cterm RBRACK DARROW eexp(EDisjoint (cterm1, cterm2, eexp), s (LBRACKleft, RBRACKright))
+       | FN UNIT DARROW eexp            (let
+                                             val loc = s (FNleft, eexpright)
+                                         in
+                                             (EAbs ("_", SOME (TRecord (CRecord [], loc), loc), eexp), loc)
+                                         end)
 
        | LPAREN eexp RPAREN DCOLON cexp (EAnnot (eexp, cexp), s (LPARENleft, cexpright))
        | eterm DOT ident                (EField (eterm, ident), s (etermleft, identright))