Reflected the change to the muModule ADT in the examples.