Thanks for all the bug fixes! :) > - A typechecker bug (#12088) resulting in programs being unexpectedly > rejected has been fixed. https://gitlab.haskell.org/ghc/ghc/issues/12088 is still open and doesn't appear to have seen that much recent activity. Is this the right ticket? Cheers, Simon