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