Hi, Am Mittwoch, den 20.11.2019, 15:10 +0000 schrieb Richard Eisenberg: > The changes are well summarised in Vlad's comment at https://github.com/ghc-proposals/ghc-proposals/pull/293#issue-341038277 based on that: 👍 -- Joachim Breitner mail at joachim-breitner.de http://www.joachim-breitner.de/