typing interface