Incorrect Monad Explanation

incorrectMonadExplanation.ts

import { pipe } from "fp-ts/function";
import { IO, chain as chainIO, map as mapIO } from "fp-ts/IO";

const effect: IO<string> = () => "myString";

// Functors implement map, and these are useful
const singleChange: (fa: IO<string>) => IO<string> = mapIO((input: string) =>
  input.toUpperCase(),
);
const singleChangeApplied = singleChange(effect);

//However, because they do not accept a monad as an input, they are limited

//That is where chain (usually refered to as map comes in)
const chainedChanges = chainIO((input: string) => () => input.repeat(2))(
  chainIO((input: string) => () => input.toUpperCase())(effect),
);

//Not only does `chainedChanges` look ugly as hell, it doesn't actually do anything.
//Let's use OCaml style pipes to make this clearer
const prettierChained = pipe(
  effect,
  chainIO((input: string) => () => input.toUpperCase()),
  chainIO((input: string) => () => input.repeat(2)),
  chainIO((input: string) => () => console.log(input)),
);

//"MYSTRINGMYSTRING"
prettierChained();