Designing a Notification System That Fans Out to Push, Email, and SMS

One event happens. A user gets mentioned in a comment. Now you might need to send a push notification, an email, and an in-app badge, and you have to respect that this person muted email but still wan