未定义类型级别

Question

通常，当我玩Haskell代码时，我会用类型注释和undefined来存储事物。

foo :: String -> Int 
foo = undefined 

是否有类型级别的“未定义”，我可以用类似的方式？

（理想情况下，以一种注解一起）

type Foo :: * -> * 
type Foo = Undefined 

进一步想在同一个线程：有没有办法对我来说，存根出类型类为创建这样类型的实例？比以下理论方法更简单的方法？

instance Monad Foo where 
    return = undefined 
    (>>=) = undefined 

Answer 1

您可以使用EmptyDataDecls存根出一个类型，并与KindSignatures你可以给它一种：

{-# LANGUAGE EmptyDataDecls, KindSignatures #-} 

data Foo :: * -> * 

您也可以存根出Monad实例，而与此选项GHC警告。

{-# OPTIONS_GHC -fno-warn-missing-methods #-} 

instance Monad Foo 

然后你就不需要留下任何实施return和>>=。