diff --git a/examples/realworld.hs b/examples/realworld.hs
--- a/examples/realworld.hs
+++ b/examples/realworld.hs
@@ -1,4 +1,4 @@
-{-# LANGUAGE GADTs, RankNTypes, ScopedTypeVariables, ConstraintKinds, TypeOperators, FlexibleContexts, GeneralizedNewtypeDeriving #-}
+{-# LANGUAGE GADTs, RankNTypes, ScopedTypeVariables, ConstraintKinds, TypeOperators, FlexibleContexts, GeneralizedNewtypeDeriving, TypeSynonymInstances, FlexibleInstances #-}
 
 import Generics.OneLiner
 
@@ -14,7 +14,7 @@
 import Data.Functor.Contravariant
 import Data.Functor.Contravariant.Divisible
 import Data.Void
-
+import Data.Binary
 
 -- http://hackage.haskell.org/package/lens-4.3.3/docs/Generics-Deriving-Lens.html
 whenCastableOrElse :: forall a b f. (Typeable a, Typeable b) => (b -> f b) -> (a -> f a) -> a -> f a
@@ -27,6 +27,7 @@
 
 
 -- http://hackage.haskell.org/package/deepseq-generics-0.1.1.1/docs/src/Control-DeepSeq-Generics.html
+-- This would work if the monoid instance of () would have been strict, now it doesn't...
 grnf :: (ADT t, Constraints t NFData) => t -> ()
 grnf = gfoldMap (For :: For NFData) rnf
 
@@ -64,3 +65,14 @@
 ghashWithSalt :: (ADT t, Constraints t Hashable) => Int -> t -> Int
 ghashWithSalt = flip $ \t -> flip hashWithSalt (ctorIndex t) .
   appEndo (gfoldMap (For :: For Hashable) (Endo . flip hashWithSalt) t)
+
+-- http://hackage.haskell.org/package/binary-0.7.2.1/docs/Data-Binary.html
+gget :: (ADT t, Constraints t Binary) => Get t
+gget = getWord8 >>= \ix -> createA (For :: For Binary) get !! fromEnum ix
+
+instance Monoid Put where
+  mempty = return ()
+  mappend = (>>)
+
+gput :: (ADT t, Constraints t Binary) => t -> Put
+gput t = putWord8 (toEnum (ctorIndex t)) <> gfoldMap (For :: For Binary) put t
diff --git a/one-liner.cabal b/one-liner.cabal
--- a/one-liner.cabal
+++ b/one-liner.cabal
@@ -1,5 +1,5 @@
 Name:                 one-liner
-Version:              0.5
+Version:              0.5.1
 Synopsis:             Constraint-based generics
 Description:          Write short and concise generic instances of type classes.
                       .
@@ -36,7 +36,7 @@
   Build-depends:
       base         >= 4.7 && < 5
     , transformers >= 0.3 && < 0.5
-    , contravariant >= 1.2 && < 1.3
+    , contravariant >= 1.2 && < 1.4
     , ghc-prim
 
 source-repository head