module Stdlib.System.IO.Base; import Stdlib.Data.Fixity open; builtin IO axiom IO : Type; syntax operator >>> seq; builtin IO-sequence axiom >>> : IO → IO → IO;