gistfile1.txt

[ 5 of 12] Compiling Data.Range.Algebra.Internal ( Data/Range/Algebra/Internal.hs, dist/build/Data/Range/Algebra/Internal.o )

Data/Range/Algebra/Internal.hs:22:13: error:
    • Could not deduce (Data.Functor.Classes.Show1 RangeExprF)
        arising from the first field of ‘RangeExpr’
          (type ‘Free RangeExprF a’)
      from the context: Show a
        bound by the deriving clause for ‘Show (RangeExpr a)’
        at Data/Range/Algebra/Internal.hs:22:13-16
      Possible fix:
        use a standalone 'deriving instance' declaration,
          so you can specify the instance context yourself
    • When deriving the instance for (Show (RangeExpr a))
   |
22 |   deriving (Show, Eq, Ord, Functor)
   |             ^^^^

Data/Range/Algebra/Internal.hs:22:19: error:
    • Could not deduce (Data.Functor.Classes.Eq1 RangeExprF)
        arising from the 'deriving' clause of a data type declaration
      from the context: Eq a
        bound by the deriving clause for ‘Eq (RangeExpr a)’
        at Data/Range/Algebra/Internal.hs:22:19-20
      Possible fix:
        use a standalone 'deriving instance' declaration,
          so you can specify the instance context yourself
    • When deriving the instance for (Eq (RangeExpr a))
   |
22 |   deriving (Show, Eq, Ord, Functor)
   |                   ^^

Data/Range/Algebra/Internal.hs:22:23: error:
    • Could not deduce (Data.Functor.Classes.Ord1 RangeExprF)
        arising from the 'deriving' clause of a data type declaration
      from the context: Ord a
        bound by the deriving clause for ‘Ord (RangeExpr a)’
        at Data/Range/Algebra/Internal.hs:22:23-25
      Possible fix:
        use a standalone 'deriving instance' declaration,
          so you can specify the instance context yourself
    • When deriving the instance for (Ord (RangeExpr a))
   |
22 |   deriving (Show, Eq, Ord, Functor)
   |                       ^^^