From 17a10b92f293a0dae41313b96ed0e69a49c35f3e Mon Sep 17 00:00:00 2001
From: rowan <rowan@kitsu.cafe>
Date: Sun, 13 Apr 2025 04:40:54 -0500
Subject: [PATCH] finish refactor

---
 src/algebra/io.js     | 2 +-
 src/algebra/reader.js | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/algebra/io.js b/src/algebra/io.js
index 8204528..460dbde 100644
--- a/src/algebra/io.js
+++ b/src/algebra/io.js
@@ -1,6 +1,6 @@
 import { Algebra, Monad } from './interfaces.js'
 
-/** @import { Apply, Chain, Fn, Functor, InferredMorphism, Morphism } from './types.js' */
+/** @import { Apply, Chain, Fn, Functor, Morphism } from './types.js' */
 
 /** @template {Fn} T */
 export class IO extends Algebra(Monad) {
diff --git a/src/algebra/reader.js b/src/algebra/reader.js
index 4e0c06b..66ba5ba 100644
--- a/src/algebra/reader.js
+++ b/src/algebra/reader.js
@@ -40,7 +40,7 @@ export class Reader extends Algebra(Monad) {
    * @returns {Reader<T>}
    */
   map(f) {
-    return this.chain(value => Reader.of(f(value)))
+    return /** @type {Reader<any>} */ (this.chain(value => Reader.of(f(value))))
   }
 
   /**