Can I apply type constraints to a function signature which is a record field type?

[Stephen]

One other note: for this forum, it is preferred that you paste code and error messages as text in blocks as explained here, rather than screenshots. That way, for example, I could simply copy-and-paste your sample code and edit it; not a big deal here but definitely important for bigger samples.