kunna betraktas såsom typer för alla tider.