diff --git a/ChangeLog.md b/ChangeLog.md
--- a/ChangeLog.md
+++ b/ChangeLog.md
@@ -1,3 +1,9 @@
+0.13.1
+===
+
+- added Data instances
+
+
 0.13
 ===
 
diff --git a/numhask.cabal b/numhask.cabal
--- a/numhask.cabal
+++ b/numhask.cabal
@@ -1,6 +1,6 @@
 cabal-version: 3.0
 name: numhask
-version: 0.13.0.0
+version: 0.13.1.0
 license: BSD-3-Clause
 license-file: LICENSE
 copyright: Tony Day (c) 2016
@@ -27,6 +27,7 @@
 
 build-type: Simple
 tested-with:
+  ghc ==8.10.7
   ghc ==9.6.7
   ghc ==9.8.4
   ghc ==9.10.2
diff --git a/src/NumHask/Algebra/Metric.hs b/src/NumHask/Algebra/Metric.hs
--- a/src/NumHask/Algebra/Metric.hs
+++ b/src/NumHask/Algebra/Metric.hs
@@ -1,4 +1,3 @@
-{-# LANGUAGE DeriveGeneric #-}
 {-# LANGUAGE DerivingVia #-}
 {-# LANGUAGE TypeFamilies #-}
 {-# LANGUAGE UndecidableInstances #-}
@@ -26,6 +25,7 @@
 
 import Control.Applicative
 import Data.Bool
+import Data.Data
 import Data.Int (Int16, Int32, Int64, Int8)
 import Data.Kind
 import Data.Type.Equality
@@ -221,7 +221,7 @@
 --
 -- See [Polar coordinate system](https://en.wikipedia.org/wiki/Polar_coordinate_system)
 data Polar a = Polar {radial :: a, azimuth :: a}
-  deriving (Generic, Show, Eq)
+  deriving (Eq, Show, Generic, Data)
 
 instance (Additive a, Multiplicative a) => Basis (Polar a) where
   type Mag (Polar a) = a
@@ -311,10 +311,7 @@
 -- @since 0.11
 newtype EuclideanPair a = EuclideanPair {euclidPair :: (a, a)}
   deriving stock
-    ( Generic,
-      Eq,
-      Show
-    )
+    (Eq, Show, Generic, Data)
 
 instance Functor EuclideanPair where
   fmap f (EuclideanPair (x, y)) = EuclideanPair (f x, f y)
diff --git a/src/NumHask/Data/Complex.hs b/src/NumHask/Data/Complex.hs
--- a/src/NumHask/Data/Complex.hs
+++ b/src/NumHask/Data/Complex.hs
@@ -52,8 +52,8 @@
     ( Eq,
       Show,
       Read,
-      Data,
       Generic,
+      Data,
       Functor
     )
   deriving