Ryan I just wanted to thank you for the incredible job you are doing in finding and fixing GHC bugs. From deriving, to pattern-match overlap checking, to Template Haskell, to arcane corners of the type inference engine... you are a bug-fixing machine! Plus you often bisect to find the patch that caused a bug and/or distil a much smaller test case. Both are extremely helpful. Thank you. Simon