Re: [GHC] #11647: GHCi does not honour implicit `module Main (main) where` for re-exported `main`s