Sources of HdpH corresponding to Haskell14 paper