module import UseA import UseB def main : IO Unit := do IO.println useA IO.println useB