test.ml

let rec filter_map f = function
  | [] -> []
  | x::xs ->
    match f x with
    | Some y -> y::filter_map f xs
    | None -> filter_map f xs

let list =
  filter_map (function `G a -> Some (`G a) | _ -> None)
    [`G 0; `F "wat"]