Flow has improved its handling of generic types by banning unsafe behaviors previously allowed and clarifying error messages.