<div dir="auto">Yup!</div><div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Sep 17, 2020 at 9:53 AM Henning Thielemann <<a href="mailto:lemming@henning-thielemann.de">lemming@henning-thielemann.de</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><br><br>On Thu, 17 Sep 2020, Carter Schonwald wrote:<br><br><br><br>> I’d expect fromEither to be <br><br>> Either a b -> (a-> c )-> (b-> c) -> c <br><br><br><br>This is the signature of 'either', with different parameter order.</blockquote></div></div>