A more correct implementation of the Circuit based on the Arrow Tutorial mentioned in the code.