Correct Haskell post, include 'CPDT' notes