[m-users.] Practicality of using inst subtyping

[Peter Wang]

On Sat, 05 Feb 2022 18:43:19 +0100 Volker Wysk <post at volker-wysk.de> wrote:
> Hi!
> 
> Subtyping would have been perfect for my purpose. I already had it worked
> out. But then the lack of support by the standard libraries has upset my
> plans. 

Have you seen the subtypes feature?
https://mercurylang.org/information/doc-latest/mercury_ref/Subtypes.html

Peter