Re: type level function with different return kinds

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

_______________________________________________
Haskell-Cafe mailing list
To (un)subscribe, modify options or view archives go to:
http://mail.haskell.org/cgi-bin/mailman/listinfo/haskell-cafe
Only members subscribed via the mailman list are allowed to post.