improve CheckMonadic