# read two lines using monadic I/O # printf "i love\nmonads\n" | bruijn IO.bruijn :import std/IO . main get-line >>= [get-line >>= [return [0 2 1]]] :test (main "i love\nmonads\n") ([0 [0 "i love" "monads"] [[0]]])