From 2979eda13e25725683aa10292b31f22793c4e0c0 Mon Sep 17 00:00:00 2001
From: Akshay Nair <phenax5@gmail.com>
Date: Sat, 14 Jan 2023 10:24:18 +0530
Subject: chore: adds fancy syntax for bind functions

---
 stdlib/effect.ts | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

(limited to 'stdlib/effect.ts')

diff --git a/stdlib/effect.ts b/stdlib/effect.ts
index 5ae9cd9..0662d00 100644
--- a/stdlib/effect.ts
+++ b/stdlib/effect.ts
@@ -7,7 +7,11 @@ export interface Kind1<Inp = unknown, Out = unknown> {
   return: Out
 }
 
-export interface Bind<_Eff extends Effect, _Fn extends Kind1> extends Effect {}
+type Func<Inp = unknown, Out = unknown>
+  = Kind1<Inp, Out>
+  | (<_T extends Inp>() => Out)
+
+export interface Bind<_Eff extends Effect, _Fn extends Func> extends Effect {}
 
 export interface Seq<_Effs extends Effect[]> extends Effect {}
 
-- 
cgit v1.3.1