type check for body