+caseVarBinds :: Parser ([Tbind], [Vbind])
+caseVarBinds = do
+ maybeFirstTbind <- optionMaybe coreAtTbind
+ case maybeFirstTbind of
+ Just tb -> do
+ (tbs,vbs) <- caseVarBinds
+ return (tb:tbs, vbs)
+ Nothing -> do
+ vbs <- many (parens lambdaBind)
+ return ([], vbs)
+