let
tuple2_option (a,b) = tuple2_wrappers a b