diff --git a/.changeset/chilly-hornets-type.md b/.changeset/chilly-hornets-type.md
new file mode 100644
index 00000000000..157d64a3a41
--- /dev/null
+++ b/.changeset/chilly-hornets-type.md
@@ -0,0 +1,5 @@
+---
+"effect": patch
+---
+
+refactor `TrimEnd` & `TrimStart`
diff --git a/packages/effect/src/String.ts b/packages/effect/src/String.ts
index ab13a48abfd..440099c0728 100644
--- a/packages/effect/src/String.ts
+++ b/packages/effect/src/String.ts
@@ -146,11 +146,7 @@ export const trim = <A extends string>(self: A): Trim<A> => self.trim() as Trim<
 /**
  * @since 2.0.0
  */
-export type TrimStart<A extends string> = A extends ` ${infer B}` ? TrimStart<B>
-  : A extends `\n${infer B}` ? TrimStart<B>
-  : A extends `\t${infer B}` ? TrimStart<B>
-  : A extends `\r${infer B}` ? TrimStart<B>
-  : A
+export type TrimStart<A extends string> = A extends `${" " | "\n" | "\t" | "\r"}${infer B}` ? TrimStart<B> : A
 
 /**
  * @example
@@ -165,11 +161,7 @@ export const trimStart = <A extends string>(self: A): TrimStart<A> => self.trimS
 /**
  * @since 2.0.0
  */
-export type TrimEnd<A extends string> = A extends `${infer B} ` ? TrimEnd<B>
-  : A extends `${infer B}\n` ? TrimEnd<B>
-  : A extends `${infer B}\t` ? TrimEnd<B>
-  : A extends `${infer B}\r` ? TrimEnd<B>
-  : A
+export type TrimEnd<A extends string> = A extends `${infer B}${" " | "\n" | "\t" | "\r"}` ? TrimEnd<B> : A
 
 /**
  * @example