{-# LANGUAGE TemplateHaskell #-}
{-# LANGUAGE FlexibleContexts #-}
{-# LANGUAGE TypeFamilies #-}
{-# LINE 1 "Quipper/Demos/Example2.hs" #-}
  import Quipper

  example2 (q, a, b) = do
    hadamard a
    with_ancilla $ \c -> do
      qnot_at c `controlled` [a, b]
      hadamard_at q `controlled` [c]
      qnot_at c `controlled` [a, b]
    hadamard_at a
    return (q, a, b)

  main = print_simple Preview example2