Haskell code - 6 lines

Link:

Haskell, pasted on Jan 2:

{-# LANGUAGE RankNTypes #-}

dneg :: (forall r. (a -> r) -> r) -> a
dneg f = f id

main = putStrLn $ dneg (\f -> f "Hello World!")

Output:

1	Hello World!