Muteing people in groups/discord servers

I feel like there should be a way to mute a single player in a discord server/group without having to give them a role. I also feel like it would be a good addition to discord. Does anyone agree?