GHC 7.10.2 tipo di estensione famiglie non funziona

Question

che sto ricevendo parse error on input ‘where’ quando si cerca il seguente esempio in GHC 7.10.2:

{-# LANGUAGE TypeFamilies #-} 

type family F a :: * 
type instance where 
    F (Maybe Int) = Int 
    F (Maybe Bool) = Bool 
    F (Maybe a) = String 

Same question was asked two years ago about GHC 7.4.2.

Ho usato famiglie di tipo soddisfacenti con GHC 7.6. * (Non ricordo l'ultima cifra) quest'anno. È un problema con GHC 7.10.2?

In base allo standard the User's Guide, sono disponibili famiglie di tipi.

My GHC 7.10.2 e cabal 1.22.6.0 dove installato da this PPA.

Answer 1

Non è possibile combinare la sintassi familiare di tipo aperto e chiuso come questo, e non sono sicuro da dove si stia prendendo l'idea. La sintassi corretta è

type family F a :: * where 
    F (Maybe Int) = Int 
    F (Maybe Bool) = Bool 
    F (Maybe a) = String