From 66a19109ff90c4252123b8809b8c8a74681dba6a Mon Sep 17 00:00:00 2001
From: Giulio Canti <giulio.canti@gmail.com>
Date: Mon, 24 Jun 2024 03:05:33 +0200
Subject: [PATCH] add missing `TypeLambda` to `Micro` module (#3056)

---
 .changeset/curly-numbers-promise.md | 5 +++++
 packages/effect/src/Micro.ts        | 9 +++++++++
 2 files changed, 14 insertions(+)
 create mode 100644 .changeset/curly-numbers-promise.md

diff --git a/.changeset/curly-numbers-promise.md b/.changeset/curly-numbers-promise.md
new file mode 100644
index 0000000000..e406e5b1c6
--- /dev/null
+++ b/.changeset/curly-numbers-promise.md
@@ -0,0 +1,5 @@
+---
+"effect": patch
+---
+
+add missing `TypeLambda` to `Micro` module
diff --git a/packages/effect/src/Micro.ts b/packages/effect/src/Micro.ts
index ab8c5e045c..7d5be32bb0 100644
--- a/packages/effect/src/Micro.ts
+++ b/packages/effect/src/Micro.ts
@@ -11,6 +11,7 @@ import * as Effectable from "./Effectable.js"
 import * as Either from "./Either.js"
 import { constTrue, constVoid, dual, identity, type LazyArg } from "./Function.js"
 import { globalValue } from "./GlobalValue.js"
+import type { TypeLambda } from "./HKT.js"
 import type { Inspectable } from "./Inspectable.js"
 import { NodeInspectSymbol, toStringUnknown } from "./Inspectable.js"
 import { StructuralPrototype } from "./internal/effectable.js"
@@ -65,6 +66,14 @@ export interface Micro<out A, out E = never, out R = never> extends Effect<A, E,
   [Symbol.iterator](): MicroIterator<Micro<A, E, R>>
 }
 
+/**
+ * @category type lambdas
+ * @since 3.4.1
+ */
+export interface MicroTypeLambda extends TypeLambda {
+  readonly type: Micro<this["Target"], this["Out1"], this["Out2"]>
+}
+
 /**
  * @since 3.4.0
  * @experimental