Generate type family for EQ case