Core Lint Errors: in result of Desugar

This error happens with ghc --make, so two source files are attached. To reproduce the error:

Microsoft Windows XP [Version 5.1.2600]
(C) Copyright 1985-2001 Microsoft Corp.

G:\>cd ghcError

G:\ghcError>ghc --version
The Glorious Glasgow Haskell Compilation System, version 6.6

G:\ghcError>ghc -dcore-lint --make Main.hs
[1 of 2] Compiling WrapIOMonad      ( WrapIOMonad.hs, WrapIOMonad.o )
[2 of 2] Compiling Main             ( Main.hs, Main.o )
*** Core Lint Errors: in result of Desugar ***
{-# LINE 11 "Main.hs #-}:
    [RHS of f2_aGA :: WrapIOMonad.WrapIO2 a_aGz]
    The type of this binder doesn't match the type of its RHS: f2_aGA
    Binder's type: WrapIOMonad.WrapIO2 a_aGz
    Rhs type: WrapIOMonad.WrapIO GHC.Base.String a_aGz
*** Offending Program ***
Rec {
:Main.main :: GHC.IOBase.IO ()
[Exported]
[]
:Main.main = GHC.TopHandler.runMainIO @ () Main.main
Main.main :: GHC.IOBase.IO ()
[Exported]
[]
Main.main = GHC.Err.undefined @ (GHC.IOBase.IO ())
main_aGK :: GHC.IOBase.IO ()
[]
main_aGK = Main.main
Main.f2 :: forall a_aB9. (GHC.Show.Show a_aB9) => WrapIOMonad.WrapIO2 a_aB9
[]
Main.f2 =
  \ (@ a_aGz) ($dShow_aGD :: {GHC.Show.Show a_aGz}) ->
    __letrec {
      f2_aGA :: WrapIOMonad.WrapIO2 a_aGz
      []
      f2_aGA = f1_aGB;
      $dShow_aGI :: {GHC.Show.Show a_aGz}
      []
      $dShow_aGI = $dShow_aGD;
      f1_aGB :: WrapIOMonad.WrapIO GHC.Base.String a_aGz
      []
      f1_aGB = Main.f1 @ a_aGz @ GHC.Base.String $dShow_aGI;
    } in  f2_aGA
Main.f1 :: forall a_aBb e_aBc.
           (GHC.Show.Show a_aBb) =>
           WrapIOMonad.WrapIO e_aBc a_aBb
[]
Main.f1 =
  \ (@ a_aGf) (@ e_aGg) ($dShow_aGq :: {GHC.Show.Show a_aGf}) ->
    __letrec {
      f1_aGh :: WrapIOMonad.WrapIO e_aGg a_aGf
      []
      f1_aGh = return_aGm @ a_aGf (GHC.Err.undefined @ a_aGf);
      $dMonad_aGv :: {GHC.Base.Monad (WrapIOMonad.WrapIO e_aGg)}
      []
      $dMonad_aGv = WrapIOMonad.$f1 @ e_aGg;
      return_aGm :: forall a_awE. a_awE -> WrapIOMonad.WrapIO e_aGg a_awE
      []
      return_aGm = GHC.Base.return @ (WrapIOMonad.WrapIO e_aGg) $dMonad_aGv;
    } in  f1_aGh
end Rec }

*** End of Offense ***


<no location info>:
Compilation had errors
G:\ghcError>