Link to documentation repo as docs for non-Prim built-in types/kinds - #3460

This is pretty close to being mergeable now imo, but one last nitpick: I think we should have

For example, row kinds (e.g. # Type, which is the kind of types such as (name :: String, age :: Int))

instead of

For example, the row kind (i.e. # Type, which is the kind of types such as (name :: String, age :: Int))

since I think the latter, by using the article the together with i.e. (= that is), implies that # Type is the unique row kind, when # Type is just one of many kinds involving #.

Nitpicks are fine, especially on docs. I'll fix it.

I believe you asked someone in another PR to add their names to the list of contributors. Will that be required of me as well before this gets merged?

Yes please :)

Pushed. Just need to wait on CI then.

Sorry, I should have been a little clearer: I think it would be best to replace the i.e. with an e.g. in addition to pluralising 'row kinds', since I would argue that (even though you've already pluralised 'row kinds') the i.e. still implies that # Type could be the only row kind.

Oh. No, that's my bad for misreading your feedback. I'll push another commit with that change.

Unrelated to this PR, but I always thought that the row kind was # Type. However, it seems it's actually # that gets applied to some other kind, such as Type or perhaps BooleanKind. For example, # Type or # BooleanKind are both examples of row kinds being used.

Is that correct? I never see other examples of row kinds, so that's why I've thought that for so long.

Yeah, that is correct. For any kind k, there is also a kind # k, which is the kind of rows with labels of kind k. So for example, you could have

( greeting :: "Hello, World", favouriteColor :: "Blue" )

which has kind # Symbol, or even

( foo :: ( bar :: "Baz" ) )

which has kind # (# Symbol). You can verify the kinds of these types in the repl with :k (although there does seem to be a bug where the parentheses aren't being printed properly in kinds like # (# Symbol) at the moment).

Thanks!