andSecret :: Gate g => Circuit g
andSecret = buildCircuit $ do
    x <- input
    y <- secret 1
    output =<< circAnd x y
andSecret :: Gate g => Circuit g
andSecret = buildCircuit $ do
    x <- input
    y <- secret 1
    output =<< circAnd x y
andSecret = buildCircuit $ do
    x <- input
    y <- secret 1
    output =<< circAnd x y