implementation of EDSLs for parallel prefix circuits, as demonstrated in http://www.cs.ox.ac.uk/jeremy.gibbons/publications/embedding.pdf