declare fun {F As Bs Sep} {Append As Sep|Sep|Bs} end