This fails because two parameters for `IV` are `left_open` and `right_open` which are Python booleans, hence are not an instance of `Basic`.