<div dir="ltr">Hi everybody, I'm struggling to get my validation functions the way I really like them. What I would like to do is start from a record of input fields that have a certain type, eg:<div><div><div><br></div><div>{Age: option float, FirstName: string}</div><div><br></div><div>I then have a function that will validate the values of this record, and either return an error in the form of a string, or a type b, for every field.<br></div><div><br></div><div>{Age: option float -> either string int, FirstName: string -> either string string}</div></div><div><br></div><div>(either is just a sum type with two values Left and Right like in Haskell, I should make a PR to get this into the stdlib, but that's not relevant now).</div><div><br></div><div>How can I now apply this record of functions to this record of values? Output should be of the type: </div><div><br></div><div>{Age: either string int, FirstName: either string string}</div><div><br></div><div>I feel Ur should be able to do it but I can't figure it out. I keep going back to Top.map2, but there the "to" and "from" types should be type level functions from a certain K to a and b, but my records are monomorphic and don't really have any relation between them except for the record of mapping functions. (Not sure if all my terminology is correct here but I hope you understand what I mean)</div><div><br></div><div>Any help much appreciated!</div></div><div><br></div><div>Simon</div></div>