Pipe: a functional toolkit to build efficient data processing pipes.