5 Apr
2025
5 Apr
'25
7 p.m.
On 2025-04-06 00:57, Henning Thielemann wrote:
That's the behavior I would expect. Why do you want something different?
You could define a type C that has two constructors for A and for B. I think you're trying to make a function that either returns constructor for A of type C a, or constructor for B of type C a b
-- () ASCII ribbon campaign - against html e-mail /\ www.asciiribbon.org - against proprietary attachments