Added missing Apply/Bind instances. Relaxed a class constraint that previously needed an unnecessary Monoid