From 5c0366134e8e1c12772cb685ac14b70d22d6ffed Mon Sep 17 00:00:00 2001
From: Michael Orlitzky <michael@orlitzky.com>
Date: Fri, 7 Dec 2018 10:27:14 -0500
Subject: [PATCH] src/Roots/Simple.hs: fix monomorphism restriction warning.

---
 src/Roots/Simple.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Roots/Simple.hs b/src/Roots/Simple.hs
index 815a64c..2906d95 100644
--- a/src/Roots/Simple.hs
+++ b/src/Roots/Simple.hs
@@ -1,4 +1,5 @@
 {-# LANGUAGE RebindableSyntax #-}
+{-# LANGUAGE ScopedTypeVariables #-}
 
 -- | The Roots.Simple module contains root-finding algorithms. That
 --   is, procedures to (numerically) find solutions to the equation,
@@ -172,7 +173,7 @@ fixed_point_iteration_count f epsilon x0 =
 --
 --   This is used to determine the rate of convergence.
 --
-fixed_point_error_ratios :: (Normed a,
+fixed_point_error_ratios :: forall a b. (Normed a,
                              Additive.C a,
                              RealField.C b,
                              Algebraic.C b)
@@ -185,7 +186,7 @@ fixed_point_error_ratios f x0 x_star p =
   zipWith (/) en_plus_one en_exp
   where
     xn = F.fixed_point_iterations f x0
-    en = map (\x -> norm (x_star - x)) xn
+    en = map (\x -> norm (x_star - x)) xn :: [b]
     en_plus_one = tail en
     en_exp = map (^p) en
 
-- 
2.43.2