Create a new dedicated type for the arg to delayed computations

Open aryairani opened this issue 4 years ago • 1 comments

To avoid this situation (reported by @alvaroc1 on Slack):

    18 | > Optional.Some ()
           ⧩
           !Some

Aug 04 '21 02:08 aryairani

This sounds like a good idea, except what do we do about all the code that's specialized to () with a type signature like '{IO} Blah ?

Maybe nothing, and those signatures will just become () ->{IO} Blah in a future pretty-printer?

Aug 04 '21 03:08 pchiusano