added a type WidgetWire of pair of widget and wire tied together by the same id, new identifier are generated by the monad UniqSM (GHC api)