A monad transformer for Response
output type
domain event type
effect type
notification type
rejection type
Adds notification without considering decision state
Clears all notifications so far