Wolfgang Jeltsch

2 ¢ from my side: I think that generally having the “wait” option in such a dialog is superfluous: if you really want to wait, you can just choose to...

I think that especially what I wrote above about “do nothing” and not showing a dialog if only one action is left is in line with normal functioning of dialogs...

To clarify further, think of saving a file: If you choose “Save as …”, you’re presented with a dialog, because you have to choose a file path. It would be...

> I’m not sure what your question about promotion is? Say there are two variants of a certain arrow: a linear one, named `-->.`, and a non-linear one, named `-->`....

I think it should be possible to use multiplicity polymorphism for what I want to achieve: I define a single type `Arrow :: Multiplicity -> * -> * -> *`...

When you say “arrows”, are you really talking about arrows (values of instances of the `Arrow` class), or are you talking about functions? > It may be possible to use...