check types