Improving state mondad tests