semantic: Oh god
semantic: Correct function typer.