oh, ok. So it is not like lifting a function of in...
# random
r
oh, ok. So it is not like lifting a function of ints to handle a function of Option(int), right?