Re: [GHC] #414: GHC does not eforce that Main exports main