testing types after typer 2