list comprehensions in terms of list monad
example
interleave