On Tue, 21 Oct 2025 08:44:53 +0200, Volker Wysk <post at volker-wysk.de> wrote: > In Haskell, not only types can be members of a typeclass, but also type > constructors. Mercury does not support this. We started on it once, but that work was never completed. Zoltan.