小编Che*_*pop的帖子

我是Haskell的新手.

我正在寻找是否有任何方法来创建类的类型的实例.

有没有办法让这些代码在不使用数据或newtype的情况下工作？

type N = ?n. (n -> n) -> n -> n

instance Printable N where
        print :: N -> IO ()
        read  :: String -> N 

当我尝试在GHCi中加载模块时,它告诉我:

Illegal polymorphic or qualified type: N
In the instance declaration for ‘Printable N’