It would be great if it were possible to use HTF with literate Haskell. I don't think it is at the moment, for at least one reason: htfpp does not appear to recognise LHS input (nor can it be told via command line option) and so does not detect the test_*/prop_* functions definitions and generates regular Haskell for _thisModulesTests etc