Haskell typeclass

Question

Ho una domanda Haskell typeclass. Non riesco a mescolare la sintassi per ottenere questo (apparentemente ragionevole) programma da compilare sotto GHC.

import Control.Concurrent.MVar 

blah1 :: [a] -> IO ([a]) 
blah1 = return 

blah2 :: [a] -> IO (MVar [a]) 
blah2 = newMVar 

class Blah b where 
    blah :: [a] -> IO (b a) 

instance Blah [] where 
    blah = blah1 

-- BOOM 
instance Blah (MVar []) where 
    blah = blah2 

main :: IO() 
main = do 
    putStrLn "Ok" 

ottengo il seguente messaggio di errore, che tipo di senso, ma non so come risolvere il problema:

`[]' is not applied to enough type arguments 
Expected kind `*', but `[]' has kind `* -> *' 
In the type `MVar []' 
In the instance declaration for `Blah (MVar [])' 

Answer 1

Quello che vuoi non è direttamente esprimibili. Questo è probabilmente il più vicino si otterrà:

newtype MVarList a = MVarList (MVar [a]) 
instance Blah MVarList where 
    blah = fmap MVarList . newMVar 

Answer 2

stavo leggendo biblioteca di Conal Elliott TypeCompose, e sono ricordato di questa domanda. Ecco un esempio di come puoi eseguire la composizione a livello di testo.

{-# LANGUAGE TypeOperators #-} 
{-# LANGUAGE FlexibleInstances #-} 
{-# LANGUAGE TypeSynonymInstances #-} 
module Main where 

... 

import Control.Compose 

... 

instance Blah (MVar `O` []) where 
    blah = liftM O . blah2 

...