mån typerna bli konstanta — ett nödvändigtvillkor