ConcatVanishes.hss

ww-split-param 1 [|wrap|] [|unwrap|]
any-call (unfold 'wrap)
one-td (unfold 'unwrap)
any-call (unfold '.)
innermost (bash >+> push 'repH >+> unfold-rule "repH ++" >+> unfold-rule "repH (:)" >+> apply-rule ". id"  >+> apply-rule "id ." >+> unfold-rule "repH []" >+> unfold-rule "[] ++" >+> unfold-rule "[] ++" >+> unfold-rule "(:) ++")
any-td (unfold-rule "rep-abs-fusion")
any-call (unfold 'absH)