@principia/laws (npm): Laws
Keywords: abstraction|category-theory|datatypes|effects|functional-programming|prelude|typescript|zio