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;