fix: minor fixes and refactors

2 files changed, 6 insertions, 4 deletions

diff --git a/stdlib/effect.ts b/stdlib/effect.ts
index 5be1758..9fe3216 100644
--- a/stdlib/effect.ts
+++ b/stdlib/effect.ts
@@ -13,3 +13,5 @@ export interface Seq<_Effs extends Effect[]> extends Effect {}
 
 export interface Do<_Effs extends Effect[]> extends Effect {}
 
+export interface Pure<V> extends Effect<V> {}
+
diff --git a/stdlib/util.ts b/stdlib/util.ts
index ded9983..cf19589 100644
--- a/stdlib/util.ts
+++ b/stdlib/util.ts
@@ -8,15 +8,15 @@ export interface Id extends Kind1 {
   return: this['input']
 }
 
-type ADTTT = { _type: string; value: any }
+type ADTDescr = { _type: string; value: any }
 
-interface ADTConstructor<A extends ADTTT> extends Kind1<A['value']> {
+interface ADTConstructor<A extends ADTDescr> extends Kind1<A['value']> {
   return: this['input'] extends infer Inp ? A & { value: Inp } : A
 }
 
-type Pat = Record<string, ADTTT>
+type Pat = Record<string, ADTDescr>
 export type ADT<D extends Record<string, any>> = {
   [k in keyof D]: { _type: k; value: D[k] }
 } extends infer Rec extends Pat
-  ? Rec[keyof Rec] & { [k in keyof Rec]: ADTConstructor<Rec[k]> }
+  ? { t: Rec[keyof Rec] } & { [k in keyof Rec]: ADTConstructor<Rec[k]> }
   : never