Function expect_exactly_one_effect 

pub fn expect_exactly_one_effect<E>(effects: Effects<E>) -> Result<E>