get rid of typechecking