typelevel-assert (npm): Convenient assertions for typelevel programming.
Keywords: assert|assertType|type level programming|typescript|utility types