open Fieldglass let sample : (string * bool, string) lens' = lens ~view:fst ~set:(fun value (_, other) -> value, other) let () = assert (view sample ("colour", true) = "colour")