Haskell typeclass -

I have a Haskell type class question. I can not fortify the syntax to get this (appropriately appropriate) program to compile under GHC.

  import control. Concurrent Merv Blah 1 :: [A] - & gt; Io ([A]) blah1 = return blah2 :: [A] - & gt; Io (MVR [A]) blah2 = new MVR class blows where blah :: [A] - & gt; IO (BA) Example Blow [] Where blah = blah1 - Boom Example Blah (MVar []) where blah = blah2 main :: IO () main = dot STRLN "OK"  

The following error message gets, what kind of meaning, but I do not know how to fix it:

  `[] 'is not applicable to the adequate type arguments expected type` *', but `` Like `` - - & gt; In the declared declaration for 'Blah (MVR [])' in type 'MVR []',  

Whatever you want is not clearly obvious. This is probably nearly as close to what you will get:

  New type MVirlist A = MVR [A] Installation Blah Mavirlist where Blah = FMAP MVIRLIST NewMVar