The internal representation of StdIO effects
Read a character from standard input.
Read a string from standard input.
Given a parameter a
'show' a
to standard output.
Given a parameter a
'show' a
to a standard output, terminating with a newline
Write a character to standard output.
Write a character to standard output, terminating with a newline.
Write a string to standard output.
Write a string to standard output, terminating with a newline.