Dess typer framstå för oss som|