no option for types; only generalize generic type variables when using