[Haskell-cafe] type level function with different return kinds

[D34DB33F]

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