teleportCircuit r0 r1 state0 = teleportGates r0 r1 $ state0 `combineStates` bell00
teleportCircuit r0 r1 state0 = teleportGates r0 r1 $ state0 `combineStates` bell00
teleportCircuit r0 r1 state0 = teleportGates r0 r1 $ state0 `combineStates` bell00