super simple typechecking