Literate Haskell specification