下面的代码为store生成孤立示例。它在aeson 1.4.7.1中运行良好，但在aeson 2.0.3.0中生成错误。

{-# LANGUAGE DeriveDataTypeable,DeriveGeneric,TemplateHaskell,GeneralizedNewtypeDeriving,        OverloadedStrings #-}
{-# OPTIONS_GHC -fno-warn-orphans #-}

import           Data.Store      (Store)
import           TH.Derive
import           Data.Scientific
import           Data.Aeson (Value)

-- This will allow us to serialize Aeson objects
$($(derive [d| instance Deriving (Store (Scientific)) |]))
$($(derive [d| instance Deriving (Store (Value)) |])) -- Template haskell derivation of Store    instance for Value

使用aeson 2.0.3.0（如堆栈LTS-20.13中所列-工作代码是使用LTS-16.31与store 0.7.1和aeson 1.4.7.1一起编译的），它现在会抛出关于aeson内部对象缺少某些存储示例的错误-顶级错误如下：

No instance for (Store
                         aeson-2.0.3.0:Data.Aeson.Types.Internal.Object)
        arising from a use of ‘store-0.7.16:Data.Store.Impl.size’

会很感激关于如何解决这个问题的建议。

更新

根据@daniel-wagner的建议添加了以下模板haskell派生（以及要编译的ScopedTypeVariable杂注）：

$($(derive [d| instance Deriving (Store (Key)) |])) 
$($(derive [d|
    instance Store a => Deriving (Store (KeyMap a))
    |]))