Hello。我正在与依赖于Haskell现代特征的象牙图书馆玩耍。其中，它定义了接受所有类型的类型IvoryType和接受特殊类型Area的IvoryArea。定义如下： {-# LANGUAGE DataKinds #-}
{-# LANGUAGE KindSignatures #-}
{-# LANGUAGE ScopedTypeVariables #-}
{-# LANGUAGE Ex
我不明白为什么这个工程： module Records where
type Element e = { element :: String, label :: String | e }
type Sel = (value :: Number, values :: [Number])
type Select = Element Sel
虽然这说Cannot unify # * wit
说我们有定义为 data A a = A' a deriving Show
数据类型我们有 A :: * -> *
然后我们就可以使Functor一个实例使用的“FMAP般”的功能： instance Functor A where fmap f (A' x) = A' (f x)
这使我们能够A类型的值，并使用fmap到App LY到包裹值的函数现在 Prelude> let x =
假设我有一个多态类型，其中一个参数是更高类型的变量（* -> *）。 data Tricky m = Tricky { numbers :: m Int, genesis :: m String }
是否有一种通用的方式为这些类型派生实例而不使用神秘和不安全的语言扩展？ 我试图使StandaloneDeriving，这样我可以指定上下文： deriving instance Show (m I
说我有这样的： data Animal = Dog | Cat
:t Dog
Dog :: Animal
很公平。 :k Dog
<interactive>:1:1:
Not in scope: type constructor or class ‘Dog’
A data constructor of that name is in scope; did you m