let rec trues l =
  match l with
  [] -> 0
  | h::t -> match h with
    false -> 0 + trues t
    | true -> 1 + trues t;;