I originally asked for help to understand whether the way I was approaching this was ‘wrong-thinking’ including the context of types and values. I thought that maybe this was conceptually and idiomatically tricky because it’s on a semantic (whatever that means) boundary between types and values. I have my answer - many thanks to all.
Peter Goodall has marked this topic as resolved.
Last updated: Oct 02 2023 at 04:34 UTC