let
tuple3_option (a,b,c) = tuple3_wrappers a b c