haskell - 如何允许不同类型的类型变量统一？

Question

我有一个具有以下类型签名的函数

{-# LANGUAGE FlexibleContexts #-}
dataLat :: Load r DIM1 Double
        => (Array r DIM1 Double -> Array U DIM1 Double, Array U DIM1 Double)

Array、U 和 DIM1 来自 Repa图书馆。 dataLat 创建数据，随后将其作为元组传递给其他函数。在某一时刻，r 类型变量与类型 D 统一(这又来自 Repa)，但稍后 r 也应该与类型统一L(这是我的类型)。问题是它已经与D统一了，因此无法与L统一。我最终遇到了无法匹配预期类型错误。我认为这应该通过某种形式的更高级别类型来解决，但我无法弄清楚应该如何编写。有人可以帮我吗？

Answer 1

Try {-# LANGUAGE NoMonomorphismRestriction #-}

http://www.haskell.org/ghc/docs/7.6.1/html/users_guide/monomorphism.html