inside b: GHC.Num.Integer.Integer inside d: GHC.Types.Bool type of c: GHC.Types.Bool inside f: GHC.Types.Bool type of e: GHC.Types.Bool