1 files changed, 15 insertions, 0 deletions
diff --git a/stdlib/io.ts b/stdlib/io.ts
new file mode 100644
index 0000000..c78204f
--- /dev/null
+++ b/stdlib/io.ts
@@ -0,0 +1,15 @@
+export interface Effect<T = unknown> { output: T }
+
+export interface Kind1<Inp = unknown, Out = unknown> {
+  input: Inp
+  return: Out
+}
+
+export interface Bind<_Eff extends Effect, _Fn extends Kind1> extends Effect { }
+
+export interface Seq<_Effs extends Effect[]> extends Effect { }
+
+export interface Do<_Effs extends Effect[]> extends Effect { }
+
+export interface DefineEffect<_Name extends string, _Func extends string> extends Effect { }
+