infix operator to create a list from head h and lazy tail t.

This is convenient to append an element before a list as in


or


or to create lists by recursion, e.g., an endless list containing
integer 1 repeatedly can be created as follows