diff --git a/CHANGELOG.md b/CHANGELOG.md
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # CHANGELOG
 
+## 0.1.2
+### Added
+* Facepalm `Applicative` constraint
+
 ## 0.1.1
 ### Added
 * DeriveDataTypeable to default-extensions
diff --git a/hset.cabal b/hset.cabal
--- a/hset.cabal
+++ b/hset.cabal
@@ -1,5 +1,5 @@
 name:                hset
-version:             0.1.1
+version:             0.1.2
 synopsis:            Primitive heterogenous read-only set
 license:             BSD3
 license-file:        LICENSE
diff --git a/src/Data/HSet.hs b/src/Data/HSet.hs
--- a/src/Data/HSet.hs
+++ b/src/Data/HSet.hs
@@ -104,6 +104,10 @@
   in unLabeled (x :: Labeled label e)
 
 haskLabeled :: forall proxy label e els m.
+#if MIN_VERSION_base(4, 8, 0)
             (Contains els (Labeled label e), MonadReader (HSet els) m)
+#else
+            (Contains els (Labeled label e), MonadReader (HSet els) m, Applicative m)
+#endif
             => proxy label -> m e
 haskLabeled p = hgetLabeled p <$> ask