A relation where l is a collection, such that a is the first of l and d is the rest of l. If ground d must be bound to a proper tail.