T7477.hs:10:2: warning:
    type instance T7477.F GHC.Types.Int = GHC.Types.Bool