I always dps'd and debuffed bosses in other games when healing as I could but I am clueless here about healer operation so...I say, let them do what they are comfortable with.