rtfeldman/repro-ghc-bug

Name: repro-ghc-bug