Non definito a livello di tipo

Question

Spesso quando sto giocando con il codice Haskell, interrompo le cose con un'annotazione di tipo e undefined.

foo :: String -> Int 
foo = undefined 

Esiste un livello di tipo "non definito" che potrei utilizzare in modo simile?

(Idealmente, in combinazione con un tipo di annotazione)

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

Ulteriori pensiero sullo stesso thread: c'è un modo per me di spegnere typeclass casi per i tipi creati in questo modo? Un modo ancora più semplice del seguente modo teorico?

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

Answer 1

È possibile utilizzare EmptyDataDecls per spegnere un tipo, e con KindSignatures si può dare una sorta:

{-# LANGUAGE EmptyDataDecls, KindSignatures #-} 

data Foo :: * -> * 

È inoltre possibile spegnere l'istanza Monad senza avvisi con questa opzione per GHC.

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

instance Monad Foo 

E poi non c'è bisogno di lasciare qualsiasi implementazione per return e >>=.