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;