Re: [GHC] #3844: Undeprecate #include (in at least some circumstances)