quine.hs

let q s = putStrLn (s ++ show s) in q "let q s = putStrLn (s ++ show s) in q "

-- s is mapped to string "let q s = putStrLn (s ++ show s) in q "
-- q is mapped to expr putStrLn (s ++ show s)

-- show s produces a string with quotes escaped
-- e.g. show "hello" produces "\"hello\""

-- 'in q' above seems to cause the expression to be evaluated
-- e.g. 
-- Prelude> let x = 1 + 2
-- Prelude> let x = 1 + 2 in x
-- 3