The IO class represents a lazy computation that may produce a value of type A. It is essentially a wrapper around a function of type () => A, which is called the "effect".