@fp4ts/cats-laws (npm): Zero-dependency, purely functional library for effectful programming in Typescript
Keywords: algebraic-effects|category-theory|functional-programming|higher-kinded-types|typelevel|typescript