Goptions do not rely anymore on generic equality.