Sources of HdpH corresponding to ICFP14 submission