diff --git a/Language/Javascript/JMacro/Base.hs b/Language/Javascript/JMacro/Base.hs
--- a/Language/Javascript/JMacro/Base.hs
+++ b/Language/Javascript/JMacro/Base.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE FlexibleInstances, UndecidableInstances, OverlappingInstances, TypeFamilies, RankNTypes, DeriveDataTypeable, StandaloneDeriving, FlexibleContexts, TypeSynonymInstances #-}
+{-# LANGUAGE FlexibleInstances, UndecidableInstances, OverlappingInstances, TypeFamilies, RankNTypes, DeriveDataTypeable, StandaloneDeriving, FlexibleContexts, TypeSynonymInstances, ScopedTypeVariables #-}
 
 -----------------------------------------------------------------------------
 {- |
@@ -50,7 +50,7 @@
 
 import Safe
 import Text.JSON
-import Text.PrettyPrint.HughesPJ
+import Text.PrettyPrint.HughesPJ as PP
 
 import Web.Encodings
 
@@ -228,8 +228,12 @@
     fromMC (MStat (BlockStat x)) = x
     fromMC _ = error "fromMC"
 
+
 instance Compos MultiComp where
-    compos ret app f' v = case v of
+  compos = mcCompos
+    where
+     mcCompos :: forall m. (forall a. a -> m a) -> (forall a b. m (a -> b) -> m a -> m b) -> (MultiComp -> m MultiComp) -> MultiComp -> m MultiComp
+     mcCompos ret app f' v = case v of
         MIdent _ -> ret v
         MStat v' -> ret MStat `app` case v' of
            DeclStat i t -> ret DeclStat `app` f i `app` ret t
@@ -273,7 +277,9 @@
            JFunc xs s -> ret JFunc `app` mapM' f xs `app` f s
            UnsatVal _ -> ret v'
       where
+        mapM' :: (a -> m a) -> [a] -> m [a]
         mapM' g = foldr (app . app (ret (:)) . g) (ret [])
+        f :: JMacro a => a -> m a
         f x = ret fromMC `app` f' (toMC x)
 
 instance Compos JType where
@@ -290,7 +296,6 @@
       where
         mapM' g = foldr (app . app (ret (:)) . g) (ret [])
 
-
 {--------------------------------------------------------------------
   New Identifiers
 --------------------------------------------------------------------}
@@ -438,7 +443,7 @@
 
 instance JsToDoc JStat where
     jsToDoc (IfStat cond x y) = text "if" <> parens (jsToDoc cond) $$ braceNest' (jsToDoc x) $$ mbElse
-        where mbElse | y == BlockStat []  = empty
+        where mbElse | y == BlockStat []  = PP.empty
                      | otherwise = text "else" $$ braceNest' (jsToDoc y)
     jsToDoc (DeclStat x t) = text "var" <+> jsToDoc x <> rest
         where rest = case t of
@@ -456,9 +461,9 @@
     jsToDoc (ReturnStat e) = text "return" <+> jsToDoc e
     jsToDoc (ApplStat e es) = jsToDoc e <> (parens . fsep . punctuate comma $ map jsToDoc es)
     jsToDoc (TryStat s i s1 s2) = text "try" $$ braceNest' (jsToDoc s) $$ mbCatch $$ mbFinally
-        where mbCatch | s1 == BlockStat [] = empty
+        where mbCatch | s1 == BlockStat [] = PP.empty
                       | otherwise = text "catch" <> parens (jsToDoc i) $$ braceNest' (jsToDoc s1)
-              mbFinally | s2 == BlockStat [] = empty
+              mbFinally | s2 == BlockStat [] = PP.empty
                         | otherwise = text "finally" $$ braceNest' (jsToDoc s2)
     jsToDoc (AssignStat i x) = jsToDoc i <+> char '=' <+> jsToDoc x
     jsToDoc (PostStat op x) = jsToDoc x <> text op
diff --git a/Language/Javascript/JMacro/QQ.hs b/Language/Javascript/JMacro/QQ.hs
--- a/Language/Javascript/JMacro/QQ.hs
+++ b/Language/Javascript/JMacro/QQ.hs
@@ -462,6 +462,7 @@
           case e1 of
             ValExpr (JVar (StrI "this")) -> gofail
             ValExpr (JVar _) -> return ()
+            ApplExpr _ _ -> gofail
             ValExpr _ -> gofail
             _ -> return ()
           e2 <- expr
diff --git a/jmacro.cabal b/jmacro.cabal
--- a/jmacro.cabal
+++ b/jmacro.cabal
@@ -1,5 +1,5 @@
 name:                jmacro
-version:             0.4.2
+version:             0.4.5
 synopsis:            QuasiQuotation library for programmatic generation of Javascript code.
 description:         Javascript syntax, functional syntax, hygienic names, compile-time guarantees of syntactic correctness, limited typechecking.
 category:            Language
@@ -7,7 +7,7 @@
 license-file:        LICENSE
 author:              Gershom Bazerman
 maintainer:          gershomb@gmail.com
-Tested-With:         GHC == 6.12.3
+Tested-With:         GHC == 7.0.2
 Build-Type:          Simple
 Cabal-Version:       >= 1.6