change type of not (make monadic)