xorCirc :: Gate g => Int -> Circuit g
xorCirc n = buildCircuit (symbol (n+1) >>= foldM1 circXor >>= output)
xorCirc :: Gate g => Int -> Circuit g
xorCirc n = buildCircuit (symbol (n+1) >>= foldM1 circXor >>= output)
xorCirc n = buildCircuit (symbol (n+1) >>= foldM1 circXor >>= output)