bidirectionalization-combined-0.1: example/sieve.txt

sieve []      = []
sieve [a]     = []
sieve (a:b:x) = b:sieve (x)