Properly checking if we have types or not