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