diff --git a/inline-r.cabal b/inline-r.cabal
--- a/inline-r.cabal
+++ b/inline-r.cabal
@@ -1,5 +1,5 @@
 name:                inline-r
-version:             0.10.2
+version:             0.10.3
 license:             BSD3
 license-file:        LICENSE
 copyright:           Copyright (c) 2013-2015 Amgen, Inc.
@@ -100,7 +100,7 @@
       inline-c >=0.5.6.1 && <0.6
   else
     build-depends:
-      inline-c >=0.6 && <0.9
+      inline-c >=0.6
   hs-source-dirs:      src
   includes:            cbits/missing_r.h
   c-sources:           cbits/missing_r.c
diff --git a/src/Foreign/R/Type.hsc b/src/Foreign/R/Type.hsc
--- a/src/Foreign/R/Type.hsc
+++ b/src/Foreign/R/Type.hsc
@@ -33,7 +33,7 @@
 
 module Foreign.R.Type
   ( SEXPTYPE(..)
-  , SSEXPTYPE
+  , SSEXPTYPE(..)
   , Sing(..)
   , Logical(..)
   , PairList
diff --git a/src/Language/R/Matcher.hs b/src/Language/R/Matcher.hs
--- a/src/Language/R/Matcher.hs
+++ b/src/Language/R/Matcher.hs
@@ -107,6 +107,8 @@
 instance Monad (Matcher s) where
   return x = Matcher $ \_ f _ -> f x
   Matcher f >>= k = Matcher $ \s ok err -> f s (\o -> runMatcher (k o) s ok err) err
+
+instance MonadFail (Matcher s) where
   fail s = Matcher $ \_ _ err -> err $ MatcherError s
 
 instance Applicative (Matcher s) where