jesper, 
I really need this in my Haskell: github.com/ghc-proposals/ghc-proposals/pull/621
Sadly, even if it gets merged it will take at least 5 more years before we can use it in the Agda codebase.
jesper, I really need this in my Haskell: github.com/ghc-proposals/ghc-proposals/pull/621
Sadly, even if it gets merged it will take at least 5 more years before we can use it in the Agda codebase.
