infinite data types don't exist