Hydra elements have, for historical reasons, a data term together with a schema term. This is described in the original design doc, but predates the introduction of type annotations and Hindley-Milner type inference. It should be possible to remove the schema field. With that done, it will also be possible to unify Element with Field.
joshsh
commented
1 year ago
Hydra elements have, for historical reasons, a data term together with a schema term. This is described in the original design doc, but predates the introduction of type annotations and Hindley-Milner type inference. It should be possible to remove the schema field. With that done, it will also be possible to unify
ElementwithField.