first useful idea concerning the type checker