monadstate instance working