annotate' :: (Apply p, ApplyState p ~ Tree)
          => FL (PatchInfoAnd p) wX wY
          -> Annotated
          -> Annotated
annotate' NilFL ann = ann
annotate' :: (Apply p, ApplyState p ~ Tree)
          => FL (PatchInfoAnd p) wX wY
          -> Annotated
          -> Annotated
annotate' NilFL ann = ann
annotate' NilFL ann = ann