{- Continuously prints the specified string -}
def Printer s : String = (print!s | Printer!s)

{- Runs two printers concurrently -}
run(Printer!"0" | Printer!"1")