diff --git a/dahdit.cabal b/dahdit.cabal
--- a/dahdit.cabal
+++ b/dahdit.cabal
@@ -5,7 +5,7 @@
 -- see: https://github.com/sol/hpack
 
 name:           dahdit
-version:        0.1.1
+version:        0.1.2
 synopsis:       Binary parsing and serialization with integrated size
 description:    Please see the README on GitHub at <https://github.com/ejconlon/dahdit#readme>
 category:       Data
diff --git a/src/Dahdit/BinaryRep.hs b/src/Dahdit/BinaryRep.hs
--- a/src/Dahdit/BinaryRep.hs
+++ b/src/Dahdit/BinaryRep.hs
@@ -26,12 +26,12 @@
 
 newtype ViaBinaryRep a = ViaBinaryRep { unViaBinaryRep :: a }
 
-instance (ByteSized x, BinaryRep x a) => ByteSized (ViaBinaryRep a) where
+instance BinaryRep x a => ByteSized (ViaBinaryRep a) where
   byteSize = byteSize . toBinaryRep . unViaBinaryRep
 
 instance (StaticByteSized x, BinaryRep x a) => StaticByteSized (ViaBinaryRep a) where
   staticByteSize _ = staticByteSize (Proxy :: Proxy x)
 
-instance (BinaryRep x a, Binary x) => Binary (ViaBinaryRep a) where
+instance BinaryRep x a => Binary (ViaBinaryRep a) where
   get = get >>= either fail (pure . ViaBinaryRep) . fromBinaryRep
   put = put . toBinaryRep . unViaBinaryRep
diff --git a/src/Dahdit/LiftedPrim.hs b/src/Dahdit/LiftedPrim.hs
--- a/src/Dahdit/LiftedPrim.hs
+++ b/src/Dahdit/LiftedPrim.hs
@@ -57,7 +57,7 @@
   writeByteArrayLiftedInElems val arr pos = writeByteArray arr pos val
 
 -- | NOTE: Relies on same byte width of both types!
-instance (Num x, Integral x, LiftedPrim x, Num y, Integral y) => LiftedPrim (ViaFromIntegral x y) where
+instance (Integral x, LiftedPrim x, Integral y) => LiftedPrim (ViaFromIntegral x y) where
   elemSizeLifted _ = elemSizeLifted (Proxy :: Proxy x)
   indexByteArrayLiftedInBytes arr pos = ViaFromIntegral (fromIntegral (indexByteArrayLiftedInBytes arr pos :: x))
   writeByteArrayLiftedInBytes val arr pos = let !x = fromIntegral (unViaFromIntegral val) :: x in writeByteArrayLiftedInBytes x arr pos