some typechecking