GitHub repository: working-group-purescript-es/purescript-typelevel-prelude
Description: Types and kinds for basic type-level programming