use CG type alias and Field, Eq context bounds