-- Hoogle documentation, generated by Haddock
-- See Hoogle, http://www.haskell.org/hoogle/


-- | Derive instances for the `bytes` library for your existential types.
--   
@package exinst-bytes
@version 0.1


-- | This module exports <a>Serial</a> instances for <a>Some1</a>,
--   <a>Some2</a>, <a>Some3</a> and <a>Some4</a> from
--   <a>Exinst.Singletons</a>, provided situable <a>Dict1</a>,
--   <a>Dict2</a>, <a>Dict3</a> and <a>Dict4</a> instances are available.
--   
--   See the README file in the <tt>exinst</tt> package for more general
--   documentation:
--   <a>https://hackage.haskell.org/package/exinst#readme</a>
module Exinst.Instances.Bytes
instance (SingKind 'KProxy, SingKind 'KProxy, SingKind 'KProxy, SingKind 'KProxy, Serial (DemoteRep 'KProxy), Serial (DemoteRep 'KProxy), Serial (DemoteRep 'KProxy), Serial (DemoteRep 'KProxy), Dict4 Serial f4) => Serial (Some4 f4)
instance (SingKind 'KProxy, SingKind 'KProxy, SingKind 'KProxy, Serial (DemoteRep 'KProxy), Serial (DemoteRep 'KProxy), Serial (DemoteRep 'KProxy), Dict3 Serial f3) => Serial (Some3 f3)
instance (SingKind 'KProxy, SingKind 'KProxy, Serial (DemoteRep 'KProxy), Serial (DemoteRep 'KProxy), Dict2 Serial f2) => Serial (Some2 f2)
instance (SingKind 'KProxy, Serial (DemoteRep 'KProxy), Dict1 Serial f1) => Serial (Some1 f1)