El impersonal haber se sirve de auxiliar a sí mismo para la formación de los tiempos compuestos, y así se dice: «Hubiera habido graves desórdenes, si no hubiese habido tropas que los contuviesen».