--
-- This file has been auto-generated by egison-translator.
--

def writeEach {a} (xs: [a]) : IO () :=
  match xs as list something with
    | [] -> do return ()
    | $x :: $rs ->
      do write x
         write "\n"
         writeEach rs

def main (args: [String]) : IO () :=
  do write "args: "
     write (show args)
     write "\n"
     writeEach args