up

Author: Xie Yuheng

src/monad/index.ts

@@ -1,15 +1,15 @@
 import { defineGeneric } from "../generic/index.js"
 
-// (f: (A) -> B, ma: M(A)) -> M(B)
+// ((A) -> B, M(A)) -> M(B)
 export const fmap = defineGeneric({ default: (f, ma) => f(ma) })
 
-// (mma: M(M(A))) -> M(A)
+// (M(M(A))) -> M(A)
 export const join = defineGeneric({ default: (mma) => mma })
 
-// (ma: M(A), f: (A) -> M(B)) -> M(B)
+// (M(A), (A) -> M(B)) -> M(B)
 export const bind = (ma: any, f: (x: any) => any) => join(fmap(f, ma))
 
-// (f: (A0, A1, ...) -> B) -> (M(A0), M(A1), ...) -> M(B)
+// ((A0, A1, ...) -> B) -> (M(A0), M(A1), ...) -> M(B)
 export function naryFmap(
   f: (...args: Array<any>) => any,
 ): (...margs: Array<any>) => any {