Typescript functional programming library inspired by Haskell and PureScript providing both runtime type checking and functional algebraic data types.
A fantasy-land and static-land compliant library providing interfaces of common type-classes and instances of them.
- category theory
- functional programming
- type classes