let my x =
        match x with
          None -> raise Recursive_Type_Failure
        | Some x -> x