typelevel (npm): type level programming
Keywords: typelevel|type-level