Slight changes to Mutator instances

ComonadApply's (<@>) now has its own separate definition, and Bind's join is defined explicitly.