:: [char] -> [char] -> [char] package:leancheck

Lazily interleaves two lists, switching between elements of the two. Union/sum of the elements in the lists.
[x,y,z,...] +| [a,b,c,...]  =  [x,a,y,b,z,c,...]