Avoid impredicative types