Re: [ghc-steering-committee] Proposal #209: Levity polymorphic lift. Recommendation: accept

HI, Am Samstag, den 16.03.2019, 10:40 -0400 schrieb Eric Seidel:

Too bad. It sounds like we agree then that removing the default implementation is the best option we have. I've proposed that on GitHub and will approve the modified proposal assuming there aren't any last objections.

modified and approved. Cheers, Joachim -- Joachim Breitner mail@joachim-breitner.de http://www.joachim-breitner.de/