Making types for eq.