diff --git a/CHANGELOG.md b/CHANGELOG.md
new file mode 100644
--- /dev/null
+++ b/CHANGELOG.md
@@ -0,0 +1,3 @@
+## 0.6.1 (2021-03-03)
+* Require at least Vinyl 0.9 (`RMap` etc. via type classes)
+* Support at least GHC 8.6, 8.8, 8.10
diff --git a/Language/Expression/GeneralOp.hs b/Language/Expression/GeneralOp.hs
--- a/Language/Expression/GeneralOp.hs
+++ b/Language/Expression/GeneralOp.hs
@@ -21,7 +21,7 @@
 import           Language.Expression.Pretty
 
 data GeneralOp op t a where
-  Op :: op as r -> Rec t as -> GeneralOp op t r
+  Op :: RMap as => op as r -> Rec t as -> GeneralOp op t r
 
 class EvalOpAt k op where
   evalMany :: op as r -> Rec k as -> k r
diff --git a/Language/Verification/Core.hs b/Language/Verification/Core.hs
--- a/Language/Verification/Core.hs
+++ b/Language/Verification/Core.hs
@@ -16,6 +16,7 @@
 {-# LANGUAGE TypeOperators              #-}
 {-# LANGUAGE TypeSynonymInstances       #-}
 {-# LANGUAGE UndecidableInstances       #-}
+{-# LANGUAGE CPP                        #-}
 
 module Language.Verification.Core where
 
@@ -115,6 +116,9 @@
            , Applicative
            , Monad
            , MonadIO
+#if MIN_VERSION_base(4,13,0)
+           , MonadFail      -- required since GHC 8.8
+#endif
            )
 
 query :: (VerifiableVar v) => Query v SBool -> VarEnv v -> Verifier v Bool
diff --git a/verifiable-expressions.cabal b/verifiable-expressions.cabal
--- a/verifiable-expressions.cabal
+++ b/verifiable-expressions.cabal
@@ -1,13 +1,13 @@
 cabal-version: 1.12
 
--- This file has been generated from package.yaml by hpack version 0.31.2.
+-- This file has been generated from package.yaml by hpack version 0.33.0.
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: ad72557a78859a1f81baf264e6f52253074bef4077f8206609ea198177c25595
+-- hash: b61cc1fb115270326d22ec5fbcdd0a38b0aed4c1489d119b344cf4e41c987188
 
 name:           verifiable-expressions
-version:        0.6.0
+version:        0.6.1
 synopsis:       An intermediate language for Hoare logic style verification.
 description:    A typed intermediate language for Hoare logic style verification. It defines the intermediate language and combinators to interact it.
 category:       Language
@@ -18,6 +18,8 @@
 license:        Apache-2.0
 license-file:   LICENSE
 build-type:     Simple
+extra-source-files:
+    CHANGELOG.md
 
 source-repository head
   type: git
@@ -52,5 +54,5 @@
     , sbv >=8.0 && <9
     , transformers >=0.5 && <0.6
     , union >=0.1.1 && <0.2
-    , vinyl >=0.8.1 && <0.9
+    , vinyl >=0.9 && <0.14
   default-language: Haskell2010