[1 of 1] Compiling Main             ( Poly.hs, Poly.o )
Rule fired
    Rule: Class op foldl
    Module: (BUILTIN)
    Before: Data.Foldable.foldl
              TyArg [] ValArg Data.Foldable.$fFoldable[]
    After:  \ (@ b_a1u4) (@ a_a1u5) -> GHC.List.foldl @ a_a1u5 @ b_a1u4
    Cont:   ApplyToTy (a_aVh, a_aVh)
            ApplyToTy a_aVh
            ApplyToVal nodup (\ (ds_d1m1 [Occ=Once!] :: (a_aVh, a_aVh))
                                (n_ax2 [Occ=Once] :: a_aVh) ->
                                case ds_d1m1 of { (x_ax0 [Occ=Once], y_ax1 [Occ=Once]) ->
                                case x_ax0 of x_Xx9 [Occ=Once] { __DEFAULT ->
                                case y_ax1 of y_Xxb [Occ=Once] { __DEFAULT ->
                                (GHC.Num.+ @ a_aVh $dNum_a1lI x_Xx9 n_ax2,
                                 GHC.Num.+
                                   @ a_aVh
                                   $dNum_a1lI
                                   y_Xxb
                                   (GHC.Num.fromInteger @ a_aVh $dNum_a1lI 1))
                                }
                                }
                                })
            ApplyToVal nodup (GHC.Num.fromInteger @ a_aVh $dNum_a1lI 0,
                              GHC.Num.fromInteger @ a_aVh $dNum_a1lI 0)
            Stop[BoringCtxt] [a_aVh] -> (a_aVh, a_aVh)
Rule fired
    Rule: Class op foldl
    Module: (BUILTIN)
    Before: Data.Foldable.foldl
              TyArg [] ValArg Data.Foldable.$fFoldable[]
    After:  \ (@ b_a1u4) (@ a_a1u5) -> GHC.List.foldl @ a_a1u5 @ b_a1u4
    Cont:   ApplyToTy (a_aVh, a_aVh)
            ApplyToTy a_aVh
            ApplyToVal nodup (\ (ds_d1m1 [Occ=Once!] :: (a_aVh, a_aVh))
                                (n_ax2 [Occ=Once] :: a_aVh) ->
                                case ds_d1m1 of { (x_ax0 [Occ=Once], y_ax1 [Occ=Once]) ->
                                case x_ax0 of x_Xx9 [Occ=Once] { __DEFAULT ->
                                case y_ax1 of y_Xxb [Occ=Once] { __DEFAULT ->
                                (GHC.Num.+ @ a_aVh $dNum_a1lI x_Xx9 n_ax2,
                                 GHC.Num.+
                                   @ a_aVh
                                   $dNum_a1lI
                                   y_Xxb
                                   (GHC.Num.fromInteger @ a_aVh $dNum_a1lI 1))
                                }
                                }
                                })
            ApplyToVal nodup (GHC.Num.fromInteger @ a_aVh $dNum_a1lI 0,
                              GHC.Num.fromInteger @ a_aVh $dNum_a1lI 0)
            Stop[BoringCtxt] [a_aVh] -> (a_aVh, a_aVh)
Rule fired
    Rule: Class op show
    Module: (BUILTIN)
    Before: GHC.Show.show
              TyArg GHC.Types.Double ValArg GHC.Float.$fShowDouble
    After:  GHC.Float.$fShowDouble_$cshow
    Cont:   ApplyToVal nodup x_a1mF
            Stop[BoringCtxt] GHC.Base.String
Rule fired
    Rule: Class op enumFromTo
    Module: (BUILTIN)
    Before: GHC.Enum.enumFromTo
              TyArg GHC.Types.Double ValArg GHC.Float.$fEnumDouble
    After:  GHC.Float.$fEnumDouble_$cenumFromTo
    Cont:   ApplyToVal nodup (GHC.Types.D# 1.0##)
            ApplyToVal nodup (GHC.Types.D# 1.0e7##)
            Stop[BoringCtxt] [GHC.Types.Double]
Linking Poly ...