gcanti/fp-ts ? reverse-engineered prompt

Build me a TypeScript library for typed functional programming, something like fp ts, that helps people write safer code with things like Option, Either, IO, Task, Functor, Applicative, and Monad. I want it to work well with strict TypeScript and use the kind of patterns you’d expect from Haskell or PureScript, including support for higher kinded types even though TypeScript does not have them built in. Please include clear docs and examples so someone who already knows functional programming can start using it quickly, and add tests to cover the main behaviors. If you need to check the latest TypeScript docs or best practices online while wiring it up, go for it. Make it feel polished, with good types, predictable APIs, and code that could realistically be used in real apps and libraries.