Improve DX of type errors from inside pipe and flow (#3731)

Co-authored-by: Oliver Joseph Ash <[email protected]>

.changeset/rare-beds-smash.md

@@ -0,0 +1,5 @@
+---
+"effect": patch
+---
+
+Improve DX of type errors from inside `pipe` and `flow`

packages/effect/dtslint/Function.ts

@@ -0,0 +1,27 @@
+import { identity, Option } from "effect"
+import { flow, pipe } from "effect/Function"
+
+// We should only have one error for the missing definition.
+const _x = (): number =>
+  pipe(
+    1,
+    // @ts-expect-error
+    add(1),
+    identity
+  )
+
+// We should only have one error for the missing definition.
+const _y = (): (n: number) => number =>
+  flow(
+    // @ts-expect-error
+    add(1),
+    identity
+  )
+
+// We should only have one error for the missing definition.
+const _z = (): number =>
+  Option.some(1).pipe(
+    // @ts-expect-error
+    add(1),
+    identity
+  )