Hasochism: The pleasure and pain of dependently typed Haskell programming [pdf] (2013)