minimal case of actual type checking