Haskell 不能'；t匹配类型‘；time-1.8.0.2:Data.time.Clock.Internal.UTCTime.UTCTime’；与‘；UTCTime&x2019；

我不明白为什么使用

thyme

库时会出现此错误：

λ import qualified Data.Thyme.Format as ABC (formatTime)                                                                                          
λ import qualified Data.Thyme.Clock as XYZ                                        
λ import Data.Thyme.Time.Core (fromThyme)                                         
λ let test123 :: XYZ.UTCView -> String; test123 p = ABC.formatTime defaultTimeLocale "%Y-%m-%d" (fromThyme p :: XYZ.UTCTime)

<interactive>:4:96: error:
    • Couldn't match type ‘time-1.8.0.2:Data.Time.Clock.Internal.UTCTime.UTCTime’
                     with ‘XYZ.UTCTime’
      NB: ‘XYZ.UTCTime’
            is defined in ‘Data.Thyme.Clock.Internal’
                in package ‘thyme-0.3.5.5’
          ‘time-1.8.0.2:Data.Time.Clock.Internal.UTCTime.UTCTime’
            is defined in ‘Data.Time.Clock.Internal.UTCTime’
                in package ‘time-1.8.0.2’
        arising from a functional dependency between:
          constraint ‘Data.Thyme.Time.Core.Thyme XYZ.UTCTime XYZ.UTCView’
            arising from a use of ‘fromThyme’
          instance ‘Data.Thyme.Time.Core.Thyme
                      time-1.8.0.2:Data.Time.Clock.Internal.UTCTime.UTCTime XYZ.UTCView’
            at <no location info>
    • In the third argument of ‘formatTime’, namely
        ‘(fromThyme p :: XYZ.UTCTime)’
      In the expression:
        formatTime
          defaultTimeLocale "%Y-%m-%d" (fromThyme p :: XYZ.UTCTime)
      In an equation for ‘test123’:
          test123 p
            = formatTime
                defaultTimeLocale "%Y-%m-%d" (fromThyme p :: XYZ.UTCTime)

λ导入符合条件的数据.Thyme.Format作为ABC（formatTime）
λ导入合格数据。百里香时钟为XYZ
λ导入数据.Thyme.Time.Core（来自Thyme）
λlet test123:：XYZ.UTCView->String；test123 p=ABC.formatTime defaultTimeLocale“%Y-%m-%d”（来自thyme p:：XYZ.UTCTime）
：4:96:错误：
•无法匹配类型“time-1.8.0.2:Data.time.Clock.Internal.UTCTime.UTCTime”
使用“XYZ.UTCTime”
注：“XYZ.UTCTime”
在“Data.Thyme.Clock.Internal”中定义
包装“百里香-0.3.5.5”
'time-1.8.0.2:Data.time.Clock.Internal.UTCTime.UTCTime'
在“Data.Time.Clock.Internal.UTCTime”中定义
包中的“时间-1.8.0.2”
由以下两者之间的功能依赖性引起：
约束“Data.Thyme.Time.Core.Thyme XYZ.UTCTime XYZ.UTCView”
因使用“fromtyme”而产生
实例的Data.Thyme.Time.Core.Thyme
time-1.8.0.2:Data.time.Clock.Internal.UTCTime.UTCTime XYZ.UTCView'
在
•在“formatTime”的第三个参数中，即
“（来自百里香p:：XYZ.UTCTime）”
在表达式中：
形成时间
defaultTimeLocale“%Y-%m-%d”（来自百里香p:：XYZ.UTCTime）
在“test123”的方程式中：
test123p
=格式化时间
defaultTimeLocale“%Y-%m-%d”（来自百里香p:：XYZ.UTCTime）

为什么它引用了

时间
库中定义的UTCTime

因为：

fromThyme :: Thyme b a => a -> b
instance Thyme Data.Time.Clock.UTCTime UTCView

您可能应该使用