Gleam case exhaustiveness, as a fan