
17 Sep
2020
17 Sep
'20
2:13 p.m.
Yup! On Thu, Sep 17, 2020 at 9:53 AM Henning Thielemann < lemming@henning-thielemann.de> wrote:
On Thu, 17 Sep 2020, Carter Schonwald wrote:
I’d expect fromEither to be
Either a b -> (a-> c )-> (b-> c) -> c
This is the signature of 'either', with different parameter order.