sanity check types