Fix kind of HRec

[L-as]

it should be type HRec :: [(Symbol, Type)] -> Type

[srid]

I don't have the context into requiring it to be of this particular kind, but note thatHRec in its current form can be rewritten using NP from sop-core:

type HRec' as = NP (Labeled Symbol) as

[L-as]

I'm thinking maybe we don't want to change the kind but instead fix the constructor.

[L-as]

your idea is good

[TotallyNotChase]

I'm a bit confused here. I think Labeled Symbol wouldn't work as the environment here, since in the current use cases, Labeled is being treated as if it had the kind signature-

type Labeled :: Symbol -> Type -> Type

(though in reality, the current kind signature of Labeled is forall k. k -> Type -> Type)

That is, the first parameter of Labeled must be a type level symbol. Labeled Symbol wouldn't fit this description right? Since that'd mean Labeled has kind Type -> Type -> Type, and you can't actually specify Labeled name where name :: Symbol.

Anyway, the environment argument shouldn't actually take the Symbol literal I believe, since it's supposed to be different for each type in as.

I do think a lot of this HRec stuff and the machinery in TryFrom can be simplified via sop-core but it might be a bit involved.