cafe could be element of [Cafe, Integer]