diff --git a/src/transformer.ts b/src/transformer.ts
index b08e0dd..7a645c6 100644
--- a/src/transformer.ts
+++ b/src/transformer.ts
@@ -47,7 +47,7 @@ export class MaybeT<T extends MonadLike<Unknown>> {
         ));
     }
 
-    orElse<U extends MonadValue<T>>(def: U | (() => U)): U {
+    orElse<U extends MonadValue<any>>(def: U | (() => U)): T | U {
         const map = getMap(this.value);
         return map(inner =>
             maybe(inner)