check types in addition