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