The Hazy Haskell Compiler

Why is the arrow naked here? I’d expect either a new arrow or some other syntax.

Naked, my System F brain sees no reason Levity affects other args here. I don’t like that. System F is the north star.

you seem to pass it along..but not in a meaningful. dependent way. You’re close (the extension is a good idea) but no cigar.

Highly recommend being brave enough to submit this to ghc-proposals`. That’ll ensure it passes bona fide muster.