diff --git a/README.md b/README.md
index 77e655c..70bcec8 100644
--- a/README.md
+++ b/README.md
@@ -177,6 +177,13 @@ expectTypeOf(1).not.toBeUndefined()
 expectTypeOf(1).not.toBeNullable()
 ```
 
+Detect assignability of unioned types:
+
+```typescript
+expectTypeOf<number>().toMatchTypeOf<string | number>()
+expectTypeOf<string | number>().not.toMatchTypeOf<number>()
+```
+
 Use `.extract` and `.exclude` to narrow down complex union types:
 
 ```typescript
diff --git a/src/index.ts b/src/index.ts
index 85a0b68..b283f44 100644
--- a/src/index.ts
+++ b/src/index.ts
@@ -80,7 +80,7 @@ type ReadonlyEquivalent<X, Y> = Extends<
   (<T>() => T extends Y ? true : false)
 >
 
-export type Extends<L, R> = IsNever<L> extends true ? IsNever<R> : L extends R ? true : false
+export type Extends<L, R> = IsNever<L> extends true ? IsNever<R> : [L] extends [R] ? true : false
 export type StrictExtends<L, R> = Extends<DeepBrand<L>, DeepBrand<R>>
 
 export type Equal<Left, Right> = And<[StrictExtends<Left, Right>, StrictExtends<Right, Left>]>
diff --git a/test/index.test.ts b/test/index.test.ts
index 02b3c01..95479a9 100644
--- a/test/index.test.ts
+++ b/test/index.test.ts
@@ -101,6 +101,11 @@ test('More `.not` examples', () => {
   expectTypeOf(1).not.toBeNullable()
 })
 
+test('Detect assignability of unioned types', () => {
+  expectTypeOf<number>().toMatchTypeOf<string | number>()
+  expectTypeOf<string | number>().not.toMatchTypeOf<number>()
+})
+
 test('Use `.extract` and `.exclude` to narrow down complex union types', () => {
   type ResponsiveProp<T> = T | T[] | {xs?: T; sm?: T; md?: T}
   const getResponsiveProp = <T>(_props: T): ResponsiveProp<T> => ({})