Hasochism: The Pleasure and Pain of Dependently Typed Haskell Programming

Clowns to the Left of me, Jokers to the Right (2008) [pdf]

Turing-Completeness Totally Free

Perhaps Not The Answer You Were Expecting But You Asked For It (An Accidental Blook)

She: The Strathclyde Haskell Enhancement