diff --git a/intro.cabal b/intro.cabal
--- a/intro.cabal
+++ b/intro.cabal
@@ -2,10 +2,10 @@
 --
 -- see: https://github.com/sol/hpack
 --
--- hash: fe99491e539a0e1a9b6714e5daca6be1d852902f5973d02063652d4eeb8c9b1e
+-- hash: 8ef652427d237590b96b6b4a6d4aeb33ff033a16222968c78ba7667d0e0b98b7
 
 name:           intro
-version:        0.4.0.0
+version:        0.5.0.0
 synopsis:       Safe and minimal prelude - Exports only total and safe functions, provides Text and Monad transformers
 description:    Intro is a modern Prelude which provides safe alternatives
                 for most of the partial functions and follows other
@@ -43,7 +43,6 @@
   ghc-options: -Wall
   build-depends:
       base >=4.8 && <5.0
-    , binary >=0.7 && <0.9
     , bytestring >=0.9 && <0.11
     , containers >=0.5 && <0.7
     , deepseq >=1.4 && <1.5
@@ -76,7 +75,6 @@
   build-depends:
       QuickCheck
     , base >=4.8 && <5.0
-    , binary >=0.7 && <0.9
     , bytestring >=0.9 && <0.11
     , containers >=0.5 && <0.7
     , deepseq >=1.4 && <1.5
diff --git a/src/Intro.hs b/src/Intro.hs
--- a/src/Intro.hs
+++ b/src/Intro.hs
@@ -617,7 +617,6 @@
   , GHC.Generics.Generic
   , GHC.Generics.Generic1
   , Data.Typeable.Typeable
-  , Data.Binary.Binary
   , Control.DeepSeq.NFData
 #if MIN_VERSION_base(4,10,0)
   , Control.DeepSeq.NFData1
@@ -698,7 +697,6 @@
 import qualified Control.Monad.Writer.CPS
 import qualified Data.Bifoldable
 import qualified Data.Bifunctor
-import qualified Data.Binary
 import qualified Data.Bitraversable
 import qualified Data.Bits
 import qualified Data.Bool
diff --git a/src/Intro/ConvertString.hs b/src/Intro/ConvertString.hs
--- a/src/Intro/ConvertString.hs
+++ b/src/Intro/ConvertString.hs
@@ -29,7 +29,6 @@
 ) where
 
 import Control.DeepSeq (NFData)
-import Data.Binary (Binary)
 import Data.ByteString (ByteString)
 import Data.ByteString.Short (ShortByteString)
 import Data.Either.Extra (eitherToMaybe)
@@ -97,7 +96,6 @@
 newtype Lenient a = Lenient { getLenient :: a }
   deriving (Eq, Ord, Read, Show, Functor, Foldable, Traversable, Generic, Generic1)
 
-instance Binary a => Binary (Lenient a)
 instance NFData a => NFData (Lenient a)
 
 instance ConvertString BL.ByteString   (Lenient String)  where {-# INLINE convertString #-}; convertString = Lenient . TL.unpack . TLE.decodeUtf8With lenientDecode