--- a/src/ur/feed.urs	Tue Jan 11 14:05:34 2011 -0500
+++ b/src/ur/feed.urs	Tue Jan 11 14:19:51 2011 -0500
@@ -5,6 +5,10 @@
 val tag : attrs ::: {Unit} -> folder attrs -> string -> $(mapU string attrs)
           -> pattern (tagInternal attrs) {Attrs : $(mapU string attrs), Cdata : option string}
 
+val tagA : attrs ::: {Unit} -> folder attrs -> string -> $(mapU string attrs)
+          -> pattern (tagInternal attrs) $(mapU string attrs)
+val tagC : string -> pattern (tagInternal []) string
+
 con childrenInternal :: Type -> {Type} -> Type
 
 val children : parentI ::: Type -> parent ::: Type -> children ::: {(Type * Type)}