diff options
Diffstat (limited to 'libraries/base/Data/Data.hs')
| -rw-r--r-- | libraries/base/Data/Data.hs | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/libraries/base/Data/Data.hs b/libraries/base/Data/Data.hs index 12f9378a9a..8233f98b1c 100644 --- a/libraries/base/Data/Data.hs +++ b/libraries/base/Data/Data.hs @@ -1210,6 +1210,11 @@ deriving instance (Data t) => Data (Proxy t) -- | @since 4.7.0.0 deriving instance (a ~ b, Data a) => Data (a :~: b) +-- | @since 4.10.0.0 +deriving instance (Typeable i, Typeable j, Typeable a, Typeable b, + (a :: i) ~~ (b :: j)) + => Data (a :~~: b) + -- | @since 4.7.0.0 deriving instance (Coercible a b, Data a, Data b) => Data (Coercion a b) |