Fix compilation with GHC 8.2 by adding some type signatures.

Fixes this compile error:

  src/Internal/Util.hs:625:5: error:
      • Could not deduce (Eq t)
        from the context: (Indexable (c t) a, Indexable (c t) t,
                           Linear t c, Num (c t), Fractional t, Num a, Eq a)
          bound by the inferred type for ‘redu’:
                     forall a t (c :: * -> *).
                     (Indexable (c t) a, Indexable (c t) t, Linear t c, Num (c t),
                      Fractional t, Num a, Eq a) =>
                     (Int, [c t]) -> [c t]
          at src/Internal/Util.hs:(625,5)-(632,20)
      • In the ambiguity check for the inferred type for ‘redu’
        To defer the ambiguity check to use sites, enable AllowAmbiguousTypes

0 files changed, 0 insertions, 0 deletions