with
generic fundamental type equals