Не определено на уровне уровня

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 и >>=.