Verbose type checking