diff --git a/Data/Adaptive/Tuple.hs b/Data/Adaptive/Tuple.hs
new file mode 100644
--- /dev/null
+++ b/Data/Adaptive/Tuple.hs
@@ -0,0 +1,1327 @@
+{-# LANGUAGE TypeFamilies       #-}
+{-# LANGUAGE MultiParamTypeClasses, FlexibleInstances, OverlappingInstances #-}
+
+-- |
+-- Module      : Data.Adaptive.Tuple
+-- Copyright   : (c) Don Stewart 2009
+-- License     : BSD-style
+-- Maintainer  : dons@galois.com
+-- Stability   : experimental
+-- 
+-- Self optimzing pair types.
+--
+-- This library statically adapts the polymorphic container
+-- representation of tuples to specific, more efficient representations,
+-- when instantiated with particular monomorphic types. It does this via
+-- an associated more efficient data type for each pair of elements you
+-- wish to store in your container.
+--
+-- That is, instead of representing '(Int,Char)' as:
+--
+-- >            (,)
+-- >           /   \
+-- >       I# 3#   C# x#
+--
+-- A self-optimizing pair will unpack the constructors, yielding this
+-- data representation:
+--
+-- >       PairIntChar 3# x#
+--
+-- Saving two indirections. The resulting structure should be both more
+-- time and space efficient than the generic polymorphic container it is
+-- derived from. For example, adaptive pairs use 8 bytes to store an Int and
+-- Char pair, while a lazy pair uses 24 bytes.
+--
+-- > > Prelude Size> unsafeSizeof ((42, 'x') :: (Int,Char))
+-- > > 24
+--
+-- > Prelude Size> unsafeSizeof (pair 42 'x' :: Pair Int Char)
+-- > > 8
+--
+-- You can inspect the size and layout of your adaptive structures using two scripts, 
+-- one for measuring the size of a closure, described in
+-- <http://ghcmutterings.wordpress.com/2009/02/>, and vacuum-cairo, for rendering 
+-- the heap structure explicitly
+-- <http://hackage.haskell.org/cgi-bin/hackage-scripts/package/vacuum-cairo>
+--
+-- Types that instantiate the 'Adapt' class will self-adapt this way.
+--
+-- Self adaptive polymorphic containers are able to unpack their
+-- components, something not possible with, for example, strict
+-- polymorphic containers.
+--
+
+module Data.Adaptive.Tuple where
+
+import Prelude hiding (curry, uncurry, fst, snd)
+import qualified Prelude
+
+import Data.Int
+import Data.Word
+
+--
+-- | Representation-improving polymorphic tuples.
+--
+class Adapt a b where
+
+  data Pair a b
+
+  -- | Extract the first component of a pair.
+  fst     :: Pair a b -> a
+
+  -- | Extract the second component of a pair.
+  snd     :: Pair a b -> b
+
+  -- | 'curry' converts an uncurried function to a curried function.
+  curry   :: (Pair a b -> c) -> a -> b -> c
+
+------------------------------------------------------------------------
+
+-- | Construct a new pair.
+pair :: Adapt a b => a -> b -> Pair a b
+pair = curry id
+
+-- | 'uncurry' converts a curried function to a function on pairs.
+uncurry :: Adapt a b => (a -> b -> c) -> (Pair a b -> c)
+uncurry f p =  f (fst p) (snd p)
+
+-- | Convert an adaptive pair to a regular polymorphic tuple
+fromPair :: Adapt a b => Pair a b -> (a, b)
+fromPair = uncurry (,)
+
+-- | Convert a regular polymorphic tuple to an adaptive pair
+toPair   :: Adapt a b => (a,b) -> Pair a b
+toPair (a,b) = pair a b
+
+------------------------------------------------------------------------
+-- Methods
+
+-- standalone deriving crashes here: do not attempt it.
+-- deriving instance (Eq a, Eq b, Adapt a b) => Eq (Pair a b)
+-- deriving instance (Ord a, Ord b, Adapt a b) => Ord (Pair a b)
+-- deriving instance (Show a, Show b, Adapt a b) => Show (Pair a b)
+
+instance (Bounded a, Bounded b, Adapt a b) => Bounded (Pair a b) where
+    minBound = pair minBound minBound
+    maxBound = pair maxBound maxBound
+
+instance (Eq a, Eq b, Adapt a b) => Eq (Pair a b) where
+    p == q = fst p == fst q && snd p == snd q
+
+instance (Ord a, Ord b, Adapt a b) => Ord (Pair a b) where
+    compare p q =
+        compare (fst p) (fst q)
+      `compare`
+        compare (snd p) (snd q)
+
+instance (Show a, Show b, Adapt a b) => Show (Pair a b) where
+    show p = "Pair " ++ show (fst p) ++ " "++ show (snd p)
+
+------------------------------------------------------------------------
+--
+-- Generic instance of pairs in terms of (,)
+--
+
+
+instance Adapt a b where
+  newtype Pair a b = PairPair { unPair :: (,) a b }
+
+  fst     = Prelude.fst . unPair
+  snd     = Prelude.snd . unPair
+  curry f x y   = f (PairPair (x,y))
+
+------------------------------------------------------------------------
+--
+-- Hand written instances:
+--
+
+instance Adapt () () where
+  data Pair () () = PUnit
+
+  fst PUnit = ()
+  snd PUnit = ()
+  curry f _ _    =  f PUnit
+
+-- TODO: sums:     Bool
+-- TODO: products: pairs
+
+------------------------------------------------------------------------
+--
+-- Generated by scripts/derive.hs
+--
+
+instance Adapt Int Int where
+    data Pair Int Int = PairIntInt {-# UNPACK #-}!Int {-# UNPACK #-}!Int
+    fst (PairIntInt a _) = a
+    snd (PairIntInt _ b) = b
+    curry f x y = f (PairIntInt x y)
+
+instance Adapt Int Integer where
+    data Pair Int Integer = PairIntInteger {-# UNPACK #-}!Int {-# UNPACK #-}!Integer
+    fst (PairIntInteger a _) = a
+    snd (PairIntInteger _ b) = b
+    curry f x y = f (PairIntInteger x y)
+
+instance Adapt Int Int8 where
+    data Pair Int Int8 = PairIntInt8 {-# UNPACK #-}!Int {-# UNPACK #-}!Int8
+    fst (PairIntInt8 a _) = a
+    snd (PairIntInt8 _ b) = b
+    curry f x y = f (PairIntInt8 x y)
+
+instance Adapt Int Int16 where
+    data Pair Int Int16 = PairIntInt16 {-# UNPACK #-}!Int {-# UNPACK #-}!Int16
+    fst (PairIntInt16 a _) = a
+    snd (PairIntInt16 _ b) = b
+    curry f x y = f (PairIntInt16 x y)
+
+instance Adapt Int Int32 where
+    data Pair Int Int32 = PairIntInt32 {-# UNPACK #-}!Int {-# UNPACK #-}!Int32
+    fst (PairIntInt32 a _) = a
+    snd (PairIntInt32 _ b) = b
+    curry f x y = f (PairIntInt32 x y)
+
+instance Adapt Int Int64 where
+    data Pair Int Int64 = PairIntInt64 {-# UNPACK #-}!Int {-# UNPACK #-}!Int64
+    fst (PairIntInt64 a _) = a
+    snd (PairIntInt64 _ b) = b
+    curry f x y = f (PairIntInt64 x y)
+
+instance Adapt Int Word where
+    data Pair Int Word = PairIntWord {-# UNPACK #-}!Int {-# UNPACK #-}!Word
+    fst (PairIntWord a _) = a
+    snd (PairIntWord _ b) = b
+    curry f x y = f (PairIntWord x y)
+
+instance Adapt Int Word8 where
+    data Pair Int Word8 = PairIntWord8 {-# UNPACK #-}!Int {-# UNPACK #-}!Word8
+    fst (PairIntWord8 a _) = a
+    snd (PairIntWord8 _ b) = b
+    curry f x y = f (PairIntWord8 x y)
+
+instance Adapt Int Word16 where
+    data Pair Int Word16 = PairIntWord16 {-# UNPACK #-}!Int {-# UNPACK #-}!Word16
+    fst (PairIntWord16 a _) = a
+    snd (PairIntWord16 _ b) = b
+    curry f x y = f (PairIntWord16 x y)
+
+instance Adapt Int Word32 where
+    data Pair Int Word32 = PairIntWord32 {-# UNPACK #-}!Int {-# UNPACK #-}!Word32
+    fst (PairIntWord32 a _) = a
+    snd (PairIntWord32 _ b) = b
+    curry f x y = f (PairIntWord32 x y)
+
+instance Adapt Int Word64 where
+    data Pair Int Word64 = PairIntWord64 {-# UNPACK #-}!Int {-# UNPACK #-}!Word64
+    fst (PairIntWord64 a _) = a
+    snd (PairIntWord64 _ b) = b
+    curry f x y = f (PairIntWord64 x y)
+
+instance Adapt Int Double where
+    data Pair Int Double = PairIntDouble {-# UNPACK #-}!Int {-# UNPACK #-}!Double
+    fst (PairIntDouble a _) = a
+    snd (PairIntDouble _ b) = b
+    curry f x y = f (PairIntDouble x y)
+
+instance Adapt Int Float where
+    data Pair Int Float = PairIntFloat {-# UNPACK #-}!Int {-# UNPACK #-}!Float
+    fst (PairIntFloat a _) = a
+    snd (PairIntFloat _ b) = b
+    curry f x y = f (PairIntFloat x y)
+
+instance Adapt Int Char where
+    data Pair Int Char = PairIntChar {-# UNPACK #-}!Int {-# UNPACK #-}!Char
+    fst (PairIntChar a _) = a
+    snd (PairIntChar _ b) = b
+    curry f x y = f (PairIntChar x y)
+
+instance Adapt Integer Int where
+    data Pair Integer Int = PairIntegerInt {-# UNPACK #-}!Integer {-# UNPACK #-}!Int
+    fst (PairIntegerInt a _) = a
+    snd (PairIntegerInt _ b) = b
+    curry f x y = f (PairIntegerInt x y)
+
+instance Adapt Integer Integer where
+    data Pair Integer Integer = PairIntegerInteger {-# UNPACK #-}!Integer {-# UNPACK #-}!Integer
+    fst (PairIntegerInteger a _) = a
+    snd (PairIntegerInteger _ b) = b
+    curry f x y = f (PairIntegerInteger x y)
+
+instance Adapt Integer Int8 where
+    data Pair Integer Int8 = PairIntegerInt8 {-# UNPACK #-}!Integer {-# UNPACK #-}!Int8
+    fst (PairIntegerInt8 a _) = a
+    snd (PairIntegerInt8 _ b) = b
+    curry f x y = f (PairIntegerInt8 x y)
+
+instance Adapt Integer Int16 where
+    data Pair Integer Int16 = PairIntegerInt16 {-# UNPACK #-}!Integer {-# UNPACK #-}!Int16
+    fst (PairIntegerInt16 a _) = a
+    snd (PairIntegerInt16 _ b) = b
+    curry f x y = f (PairIntegerInt16 x y)
+
+instance Adapt Integer Int32 where
+    data Pair Integer Int32 = PairIntegerInt32 {-# UNPACK #-}!Integer {-# UNPACK #-}!Int32
+    fst (PairIntegerInt32 a _) = a
+    snd (PairIntegerInt32 _ b) = b
+    curry f x y = f (PairIntegerInt32 x y)
+
+instance Adapt Integer Int64 where
+    data Pair Integer Int64 = PairIntegerInt64 {-# UNPACK #-}!Integer {-# UNPACK #-}!Int64
+    fst (PairIntegerInt64 a _) = a
+    snd (PairIntegerInt64 _ b) = b
+    curry f x y = f (PairIntegerInt64 x y)
+
+instance Adapt Integer Word where
+    data Pair Integer Word = PairIntegerWord {-# UNPACK #-}!Integer {-# UNPACK #-}!Word
+    fst (PairIntegerWord a _) = a
+    snd (PairIntegerWord _ b) = b
+    curry f x y = f (PairIntegerWord x y)
+
+instance Adapt Integer Word8 where
+    data Pair Integer Word8 = PairIntegerWord8 {-# UNPACK #-}!Integer {-# UNPACK #-}!Word8
+    fst (PairIntegerWord8 a _) = a
+    snd (PairIntegerWord8 _ b) = b
+    curry f x y = f (PairIntegerWord8 x y)
+
+instance Adapt Integer Word16 where
+    data Pair Integer Word16 = PairIntegerWord16 {-# UNPACK #-}!Integer {-# UNPACK #-}!Word16
+    fst (PairIntegerWord16 a _) = a
+    snd (PairIntegerWord16 _ b) = b
+    curry f x y = f (PairIntegerWord16 x y)
+
+instance Adapt Integer Word32 where
+    data Pair Integer Word32 = PairIntegerWord32 {-# UNPACK #-}!Integer {-# UNPACK #-}!Word32
+    fst (PairIntegerWord32 a _) = a
+    snd (PairIntegerWord32 _ b) = b
+    curry f x y = f (PairIntegerWord32 x y)
+
+instance Adapt Integer Word64 where
+    data Pair Integer Word64 = PairIntegerWord64 {-# UNPACK #-}!Integer {-# UNPACK #-}!Word64
+    fst (PairIntegerWord64 a _) = a
+    snd (PairIntegerWord64 _ b) = b
+    curry f x y = f (PairIntegerWord64 x y)
+
+instance Adapt Integer Double where
+    data Pair Integer Double = PairIntegerDouble {-# UNPACK #-}!Integer {-# UNPACK #-}!Double
+    fst (PairIntegerDouble a _) = a
+    snd (PairIntegerDouble _ b) = b
+    curry f x y = f (PairIntegerDouble x y)
+
+instance Adapt Integer Float where
+    data Pair Integer Float = PairIntegerFloat {-# UNPACK #-}!Integer {-# UNPACK #-}!Float
+    fst (PairIntegerFloat a _) = a
+    snd (PairIntegerFloat _ b) = b
+    curry f x y = f (PairIntegerFloat x y)
+
+instance Adapt Integer Char where
+    data Pair Integer Char = PairIntegerChar {-# UNPACK #-}!Integer {-# UNPACK #-}!Char
+    fst (PairIntegerChar a _) = a
+    snd (PairIntegerChar _ b) = b
+    curry f x y = f (PairIntegerChar x y)
+
+instance Adapt Int8 Int where
+    data Pair Int8 Int = PairInt8Int {-# UNPACK #-}!Int8 {-# UNPACK #-}!Int
+    fst (PairInt8Int a _) = a
+    snd (PairInt8Int _ b) = b
+    curry f x y = f (PairInt8Int x y)
+
+instance Adapt Int8 Integer where
+    data Pair Int8 Integer = PairInt8Integer {-# UNPACK #-}!Int8 {-# UNPACK #-}!Integer
+    fst (PairInt8Integer a _) = a
+    snd (PairInt8Integer _ b) = b
+    curry f x y = f (PairInt8Integer x y)
+
+instance Adapt Int8 Int8 where
+    data Pair Int8 Int8 = PairInt8Int8 {-# UNPACK #-}!Int8 {-# UNPACK #-}!Int8
+    fst (PairInt8Int8 a _) = a
+    snd (PairInt8Int8 _ b) = b
+    curry f x y = f (PairInt8Int8 x y)
+
+instance Adapt Int8 Int16 where
+    data Pair Int8 Int16 = PairInt8Int16 {-# UNPACK #-}!Int8 {-# UNPACK #-}!Int16
+    fst (PairInt8Int16 a _) = a
+    snd (PairInt8Int16 _ b) = b
+    curry f x y = f (PairInt8Int16 x y)
+
+instance Adapt Int8 Int32 where
+    data Pair Int8 Int32 = PairInt8Int32 {-# UNPACK #-}!Int8 {-# UNPACK #-}!Int32
+    fst (PairInt8Int32 a _) = a
+    snd (PairInt8Int32 _ b) = b
+    curry f x y = f (PairInt8Int32 x y)
+
+instance Adapt Int8 Int64 where
+    data Pair Int8 Int64 = PairInt8Int64 {-# UNPACK #-}!Int8 {-# UNPACK #-}!Int64
+    fst (PairInt8Int64 a _) = a
+    snd (PairInt8Int64 _ b) = b
+    curry f x y = f (PairInt8Int64 x y)
+
+instance Adapt Int8 Word where
+    data Pair Int8 Word = PairInt8Word {-# UNPACK #-}!Int8 {-# UNPACK #-}!Word
+    fst (PairInt8Word a _) = a
+    snd (PairInt8Word _ b) = b
+    curry f x y = f (PairInt8Word x y)
+
+instance Adapt Int8 Word8 where
+    data Pair Int8 Word8 = PairInt8Word8 {-# UNPACK #-}!Int8 {-# UNPACK #-}!Word8
+    fst (PairInt8Word8 a _) = a
+    snd (PairInt8Word8 _ b) = b
+    curry f x y = f (PairInt8Word8 x y)
+
+instance Adapt Int8 Word16 where
+    data Pair Int8 Word16 = PairInt8Word16 {-# UNPACK #-}!Int8 {-# UNPACK #-}!Word16
+    fst (PairInt8Word16 a _) = a
+    snd (PairInt8Word16 _ b) = b
+    curry f x y = f (PairInt8Word16 x y)
+
+instance Adapt Int8 Word32 where
+    data Pair Int8 Word32 = PairInt8Word32 {-# UNPACK #-}!Int8 {-# UNPACK #-}!Word32
+    fst (PairInt8Word32 a _) = a
+    snd (PairInt8Word32 _ b) = b
+    curry f x y = f (PairInt8Word32 x y)
+
+instance Adapt Int8 Word64 where
+    data Pair Int8 Word64 = PairInt8Word64 {-# UNPACK #-}!Int8 {-# UNPACK #-}!Word64
+    fst (PairInt8Word64 a _) = a
+    snd (PairInt8Word64 _ b) = b
+    curry f x y = f (PairInt8Word64 x y)
+
+instance Adapt Int8 Double where
+    data Pair Int8 Double = PairInt8Double {-# UNPACK #-}!Int8 {-# UNPACK #-}!Double
+    fst (PairInt8Double a _) = a
+    snd (PairInt8Double _ b) = b
+    curry f x y = f (PairInt8Double x y)
+
+instance Adapt Int8 Float where
+    data Pair Int8 Float = PairInt8Float {-# UNPACK #-}!Int8 {-# UNPACK #-}!Float
+    fst (PairInt8Float a _) = a
+    snd (PairInt8Float _ b) = b
+    curry f x y = f (PairInt8Float x y)
+
+instance Adapt Int8 Char where
+    data Pair Int8 Char = PairInt8Char {-# UNPACK #-}!Int8 {-# UNPACK #-}!Char
+    fst (PairInt8Char a _) = a
+    snd (PairInt8Char _ b) = b
+    curry f x y = f (PairInt8Char x y)
+
+instance Adapt Int16 Int where
+    data Pair Int16 Int = PairInt16Int {-# UNPACK #-}!Int16 {-# UNPACK #-}!Int
+    fst (PairInt16Int a _) = a
+    snd (PairInt16Int _ b) = b
+    curry f x y = f (PairInt16Int x y)
+
+instance Adapt Int16 Integer where
+    data Pair Int16 Integer = PairInt16Integer {-# UNPACK #-}!Int16 {-# UNPACK #-}!Integer
+    fst (PairInt16Integer a _) = a
+    snd (PairInt16Integer _ b) = b
+    curry f x y = f (PairInt16Integer x y)
+
+instance Adapt Int16 Int8 where
+    data Pair Int16 Int8 = PairInt16Int8 {-# UNPACK #-}!Int16 {-# UNPACK #-}!Int8
+    fst (PairInt16Int8 a _) = a
+    snd (PairInt16Int8 _ b) = b
+    curry f x y = f (PairInt16Int8 x y)
+
+instance Adapt Int16 Int16 where
+    data Pair Int16 Int16 = PairInt16Int16 {-# UNPACK #-}!Int16 {-# UNPACK #-}!Int16
+    fst (PairInt16Int16 a _) = a
+    snd (PairInt16Int16 _ b) = b
+    curry f x y = f (PairInt16Int16 x y)
+
+instance Adapt Int16 Int32 where
+    data Pair Int16 Int32 = PairInt16Int32 {-# UNPACK #-}!Int16 {-# UNPACK #-}!Int32
+    fst (PairInt16Int32 a _) = a
+    snd (PairInt16Int32 _ b) = b
+    curry f x y = f (PairInt16Int32 x y)
+
+instance Adapt Int16 Int64 where
+    data Pair Int16 Int64 = PairInt16Int64 {-# UNPACK #-}!Int16 {-# UNPACK #-}!Int64
+    fst (PairInt16Int64 a _) = a
+    snd (PairInt16Int64 _ b) = b
+    curry f x y = f (PairInt16Int64 x y)
+
+instance Adapt Int16 Word where
+    data Pair Int16 Word = PairInt16Word {-# UNPACK #-}!Int16 {-# UNPACK #-}!Word
+    fst (PairInt16Word a _) = a
+    snd (PairInt16Word _ b) = b
+    curry f x y = f (PairInt16Word x y)
+
+instance Adapt Int16 Word8 where
+    data Pair Int16 Word8 = PairInt16Word8 {-# UNPACK #-}!Int16 {-# UNPACK #-}!Word8
+    fst (PairInt16Word8 a _) = a
+    snd (PairInt16Word8 _ b) = b
+    curry f x y = f (PairInt16Word8 x y)
+
+instance Adapt Int16 Word16 where
+    data Pair Int16 Word16 = PairInt16Word16 {-# UNPACK #-}!Int16 {-# UNPACK #-}!Word16
+    fst (PairInt16Word16 a _) = a
+    snd (PairInt16Word16 _ b) = b
+    curry f x y = f (PairInt16Word16 x y)
+
+instance Adapt Int16 Word32 where
+    data Pair Int16 Word32 = PairInt16Word32 {-# UNPACK #-}!Int16 {-# UNPACK #-}!Word32
+    fst (PairInt16Word32 a _) = a
+    snd (PairInt16Word32 _ b) = b
+    curry f x y = f (PairInt16Word32 x y)
+
+instance Adapt Int16 Word64 where
+    data Pair Int16 Word64 = PairInt16Word64 {-# UNPACK #-}!Int16 {-# UNPACK #-}!Word64
+    fst (PairInt16Word64 a _) = a
+    snd (PairInt16Word64 _ b) = b
+    curry f x y = f (PairInt16Word64 x y)
+
+instance Adapt Int16 Double where
+    data Pair Int16 Double = PairInt16Double {-# UNPACK #-}!Int16 {-# UNPACK #-}!Double
+    fst (PairInt16Double a _) = a
+    snd (PairInt16Double _ b) = b
+    curry f x y = f (PairInt16Double x y)
+
+instance Adapt Int16 Float where
+    data Pair Int16 Float = PairInt16Float {-# UNPACK #-}!Int16 {-# UNPACK #-}!Float
+    fst (PairInt16Float a _) = a
+    snd (PairInt16Float _ b) = b
+    curry f x y = f (PairInt16Float x y)
+
+instance Adapt Int16 Char where
+    data Pair Int16 Char = PairInt16Char {-# UNPACK #-}!Int16 {-# UNPACK #-}!Char
+    fst (PairInt16Char a _) = a
+    snd (PairInt16Char _ b) = b
+    curry f x y = f (PairInt16Char x y)
+
+instance Adapt Int32 Int where
+    data Pair Int32 Int = PairInt32Int {-# UNPACK #-}!Int32 {-# UNPACK #-}!Int
+    fst (PairInt32Int a _) = a
+    snd (PairInt32Int _ b) = b
+    curry f x y = f (PairInt32Int x y)
+
+instance Adapt Int32 Integer where
+    data Pair Int32 Integer = PairInt32Integer {-# UNPACK #-}!Int32 {-# UNPACK #-}!Integer
+    fst (PairInt32Integer a _) = a
+    snd (PairInt32Integer _ b) = b
+    curry f x y = f (PairInt32Integer x y)
+
+instance Adapt Int32 Int8 where
+    data Pair Int32 Int8 = PairInt32Int8 {-# UNPACK #-}!Int32 {-# UNPACK #-}!Int8
+    fst (PairInt32Int8 a _) = a
+    snd (PairInt32Int8 _ b) = b
+    curry f x y = f (PairInt32Int8 x y)
+
+instance Adapt Int32 Int16 where
+    data Pair Int32 Int16 = PairInt32Int16 {-# UNPACK #-}!Int32 {-# UNPACK #-}!Int16
+    fst (PairInt32Int16 a _) = a
+    snd (PairInt32Int16 _ b) = b
+    curry f x y = f (PairInt32Int16 x y)
+
+instance Adapt Int32 Int32 where
+    data Pair Int32 Int32 = PairInt32Int32 {-# UNPACK #-}!Int32 {-# UNPACK #-}!Int32
+    fst (PairInt32Int32 a _) = a
+    snd (PairInt32Int32 _ b) = b
+    curry f x y = f (PairInt32Int32 x y)
+
+instance Adapt Int32 Int64 where
+    data Pair Int32 Int64 = PairInt32Int64 {-# UNPACK #-}!Int32 {-# UNPACK #-}!Int64
+    fst (PairInt32Int64 a _) = a
+    snd (PairInt32Int64 _ b) = b
+    curry f x y = f (PairInt32Int64 x y)
+
+instance Adapt Int32 Word where
+    data Pair Int32 Word = PairInt32Word {-# UNPACK #-}!Int32 {-# UNPACK #-}!Word
+    fst (PairInt32Word a _) = a
+    snd (PairInt32Word _ b) = b
+    curry f x y = f (PairInt32Word x y)
+
+instance Adapt Int32 Word8 where
+    data Pair Int32 Word8 = PairInt32Word8 {-# UNPACK #-}!Int32 {-# UNPACK #-}!Word8
+    fst (PairInt32Word8 a _) = a
+    snd (PairInt32Word8 _ b) = b
+    curry f x y = f (PairInt32Word8 x y)
+
+instance Adapt Int32 Word16 where
+    data Pair Int32 Word16 = PairInt32Word16 {-# UNPACK #-}!Int32 {-# UNPACK #-}!Word16
+    fst (PairInt32Word16 a _) = a
+    snd (PairInt32Word16 _ b) = b
+    curry f x y = f (PairInt32Word16 x y)
+
+instance Adapt Int32 Word32 where
+    data Pair Int32 Word32 = PairInt32Word32 {-# UNPACK #-}!Int32 {-# UNPACK #-}!Word32
+    fst (PairInt32Word32 a _) = a
+    snd (PairInt32Word32 _ b) = b
+    curry f x y = f (PairInt32Word32 x y)
+
+instance Adapt Int32 Word64 where
+    data Pair Int32 Word64 = PairInt32Word64 {-# UNPACK #-}!Int32 {-# UNPACK #-}!Word64
+    fst (PairInt32Word64 a _) = a
+    snd (PairInt32Word64 _ b) = b
+    curry f x y = f (PairInt32Word64 x y)
+
+instance Adapt Int32 Double where
+    data Pair Int32 Double = PairInt32Double {-# UNPACK #-}!Int32 {-# UNPACK #-}!Double
+    fst (PairInt32Double a _) = a
+    snd (PairInt32Double _ b) = b
+    curry f x y = f (PairInt32Double x y)
+
+instance Adapt Int32 Float where
+    data Pair Int32 Float = PairInt32Float {-# UNPACK #-}!Int32 {-# UNPACK #-}!Float
+    fst (PairInt32Float a _) = a
+    snd (PairInt32Float _ b) = b
+    curry f x y = f (PairInt32Float x y)
+
+instance Adapt Int32 Char where
+    data Pair Int32 Char = PairInt32Char {-# UNPACK #-}!Int32 {-# UNPACK #-}!Char
+    fst (PairInt32Char a _) = a
+    snd (PairInt32Char _ b) = b
+    curry f x y = f (PairInt32Char x y)
+
+instance Adapt Int64 Int where
+    data Pair Int64 Int = PairInt64Int {-# UNPACK #-}!Int64 {-# UNPACK #-}!Int
+    fst (PairInt64Int a _) = a
+    snd (PairInt64Int _ b) = b
+    curry f x y = f (PairInt64Int x y)
+
+instance Adapt Int64 Integer where
+    data Pair Int64 Integer = PairInt64Integer {-# UNPACK #-}!Int64 {-# UNPACK #-}!Integer
+    fst (PairInt64Integer a _) = a
+    snd (PairInt64Integer _ b) = b
+    curry f x y = f (PairInt64Integer x y)
+
+instance Adapt Int64 Int8 where
+    data Pair Int64 Int8 = PairInt64Int8 {-# UNPACK #-}!Int64 {-# UNPACK #-}!Int8
+    fst (PairInt64Int8 a _) = a
+    snd (PairInt64Int8 _ b) = b
+    curry f x y = f (PairInt64Int8 x y)
+
+instance Adapt Int64 Int16 where
+    data Pair Int64 Int16 = PairInt64Int16 {-# UNPACK #-}!Int64 {-# UNPACK #-}!Int16
+    fst (PairInt64Int16 a _) = a
+    snd (PairInt64Int16 _ b) = b
+    curry f x y = f (PairInt64Int16 x y)
+
+instance Adapt Int64 Int32 where
+    data Pair Int64 Int32 = PairInt64Int32 {-# UNPACK #-}!Int64 {-# UNPACK #-}!Int32
+    fst (PairInt64Int32 a _) = a
+    snd (PairInt64Int32 _ b) = b
+    curry f x y = f (PairInt64Int32 x y)
+
+instance Adapt Int64 Int64 where
+    data Pair Int64 Int64 = PairInt64Int64 {-# UNPACK #-}!Int64 {-# UNPACK #-}!Int64
+    fst (PairInt64Int64 a _) = a
+    snd (PairInt64Int64 _ b) = b
+    curry f x y = f (PairInt64Int64 x y)
+
+instance Adapt Int64 Word where
+    data Pair Int64 Word = PairInt64Word {-# UNPACK #-}!Int64 {-# UNPACK #-}!Word
+    fst (PairInt64Word a _) = a
+    snd (PairInt64Word _ b) = b
+    curry f x y = f (PairInt64Word x y)
+
+instance Adapt Int64 Word8 where
+    data Pair Int64 Word8 = PairInt64Word8 {-# UNPACK #-}!Int64 {-# UNPACK #-}!Word8
+    fst (PairInt64Word8 a _) = a
+    snd (PairInt64Word8 _ b) = b
+    curry f x y = f (PairInt64Word8 x y)
+
+instance Adapt Int64 Word16 where
+    data Pair Int64 Word16 = PairInt64Word16 {-# UNPACK #-}!Int64 {-# UNPACK #-}!Word16
+    fst (PairInt64Word16 a _) = a
+    snd (PairInt64Word16 _ b) = b
+    curry f x y = f (PairInt64Word16 x y)
+
+instance Adapt Int64 Word32 where
+    data Pair Int64 Word32 = PairInt64Word32 {-# UNPACK #-}!Int64 {-# UNPACK #-}!Word32
+    fst (PairInt64Word32 a _) = a
+    snd (PairInt64Word32 _ b) = b
+    curry f x y = f (PairInt64Word32 x y)
+
+instance Adapt Int64 Word64 where
+    data Pair Int64 Word64 = PairInt64Word64 {-# UNPACK #-}!Int64 {-# UNPACK #-}!Word64
+    fst (PairInt64Word64 a _) = a
+    snd (PairInt64Word64 _ b) = b
+    curry f x y = f (PairInt64Word64 x y)
+
+instance Adapt Int64 Double where
+    data Pair Int64 Double = PairInt64Double {-# UNPACK #-}!Int64 {-# UNPACK #-}!Double
+    fst (PairInt64Double a _) = a
+    snd (PairInt64Double _ b) = b
+    curry f x y = f (PairInt64Double x y)
+
+instance Adapt Int64 Float where
+    data Pair Int64 Float = PairInt64Float {-# UNPACK #-}!Int64 {-# UNPACK #-}!Float
+    fst (PairInt64Float a _) = a
+    snd (PairInt64Float _ b) = b
+    curry f x y = f (PairInt64Float x y)
+
+instance Adapt Int64 Char where
+    data Pair Int64 Char = PairInt64Char {-# UNPACK #-}!Int64 {-# UNPACK #-}!Char
+    fst (PairInt64Char a _) = a
+    snd (PairInt64Char _ b) = b
+    curry f x y = f (PairInt64Char x y)
+
+instance Adapt Word Int where
+    data Pair Word Int = PairWordInt {-# UNPACK #-}!Word {-# UNPACK #-}!Int
+    fst (PairWordInt a _) = a
+    snd (PairWordInt _ b) = b
+    curry f x y = f (PairWordInt x y)
+
+instance Adapt Word Integer where
+    data Pair Word Integer = PairWordInteger {-# UNPACK #-}!Word {-# UNPACK #-}!Integer
+    fst (PairWordInteger a _) = a
+    snd (PairWordInteger _ b) = b
+    curry f x y = f (PairWordInteger x y)
+
+instance Adapt Word Int8 where
+    data Pair Word Int8 = PairWordInt8 {-# UNPACK #-}!Word {-# UNPACK #-}!Int8
+    fst (PairWordInt8 a _) = a
+    snd (PairWordInt8 _ b) = b
+    curry f x y = f (PairWordInt8 x y)
+
+instance Adapt Word Int16 where
+    data Pair Word Int16 = PairWordInt16 {-# UNPACK #-}!Word {-# UNPACK #-}!Int16
+    fst (PairWordInt16 a _) = a
+    snd (PairWordInt16 _ b) = b
+    curry f x y = f (PairWordInt16 x y)
+
+instance Adapt Word Int32 where
+    data Pair Word Int32 = PairWordInt32 {-# UNPACK #-}!Word {-# UNPACK #-}!Int32
+    fst (PairWordInt32 a _) = a
+    snd (PairWordInt32 _ b) = b
+    curry f x y = f (PairWordInt32 x y)
+
+instance Adapt Word Int64 where
+    data Pair Word Int64 = PairWordInt64 {-# UNPACK #-}!Word {-# UNPACK #-}!Int64
+    fst (PairWordInt64 a _) = a
+    snd (PairWordInt64 _ b) = b
+    curry f x y = f (PairWordInt64 x y)
+
+instance Adapt Word Word where
+    data Pair Word Word = PairWordWord {-# UNPACK #-}!Word {-# UNPACK #-}!Word
+    fst (PairWordWord a _) = a
+    snd (PairWordWord _ b) = b
+    curry f x y = f (PairWordWord x y)
+
+instance Adapt Word Word8 where
+    data Pair Word Word8 = PairWordWord8 {-# UNPACK #-}!Word {-# UNPACK #-}!Word8
+    fst (PairWordWord8 a _) = a
+    snd (PairWordWord8 _ b) = b
+    curry f x y = f (PairWordWord8 x y)
+
+instance Adapt Word Word16 where
+    data Pair Word Word16 = PairWordWord16 {-# UNPACK #-}!Word {-# UNPACK #-}!Word16
+    fst (PairWordWord16 a _) = a
+    snd (PairWordWord16 _ b) = b
+    curry f x y = f (PairWordWord16 x y)
+
+instance Adapt Word Word32 where
+    data Pair Word Word32 = PairWordWord32 {-# UNPACK #-}!Word {-# UNPACK #-}!Word32
+    fst (PairWordWord32 a _) = a
+    snd (PairWordWord32 _ b) = b
+    curry f x y = f (PairWordWord32 x y)
+
+instance Adapt Word Word64 where
+    data Pair Word Word64 = PairWordWord64 {-# UNPACK #-}!Word {-# UNPACK #-}!Word64
+    fst (PairWordWord64 a _) = a
+    snd (PairWordWord64 _ b) = b
+    curry f x y = f (PairWordWord64 x y)
+
+instance Adapt Word Double where
+    data Pair Word Double = PairWordDouble {-# UNPACK #-}!Word {-# UNPACK #-}!Double
+    fst (PairWordDouble a _) = a
+    snd (PairWordDouble _ b) = b
+    curry f x y = f (PairWordDouble x y)
+
+instance Adapt Word Float where
+    data Pair Word Float = PairWordFloat {-# UNPACK #-}!Word {-# UNPACK #-}!Float
+    fst (PairWordFloat a _) = a
+    snd (PairWordFloat _ b) = b
+    curry f x y = f (PairWordFloat x y)
+
+instance Adapt Word Char where
+    data Pair Word Char = PairWordChar {-# UNPACK #-}!Word {-# UNPACK #-}!Char
+    fst (PairWordChar a _) = a
+    snd (PairWordChar _ b) = b
+    curry f x y = f (PairWordChar x y)
+
+instance Adapt Word8 Int where
+    data Pair Word8 Int = PairWord8Int {-# UNPACK #-}!Word8 {-# UNPACK #-}!Int
+    fst (PairWord8Int a _) = a
+    snd (PairWord8Int _ b) = b
+    curry f x y = f (PairWord8Int x y)
+
+instance Adapt Word8 Integer where
+    data Pair Word8 Integer = PairWord8Integer {-# UNPACK #-}!Word8 {-# UNPACK #-}!Integer
+    fst (PairWord8Integer a _) = a
+    snd (PairWord8Integer _ b) = b
+    curry f x y = f (PairWord8Integer x y)
+
+instance Adapt Word8 Int8 where
+    data Pair Word8 Int8 = PairWord8Int8 {-# UNPACK #-}!Word8 {-# UNPACK #-}!Int8
+    fst (PairWord8Int8 a _) = a
+    snd (PairWord8Int8 _ b) = b
+    curry f x y = f (PairWord8Int8 x y)
+
+instance Adapt Word8 Int16 where
+    data Pair Word8 Int16 = PairWord8Int16 {-# UNPACK #-}!Word8 {-# UNPACK #-}!Int16
+    fst (PairWord8Int16 a _) = a
+    snd (PairWord8Int16 _ b) = b
+    curry f x y = f (PairWord8Int16 x y)
+
+instance Adapt Word8 Int32 where
+    data Pair Word8 Int32 = PairWord8Int32 {-# UNPACK #-}!Word8 {-# UNPACK #-}!Int32
+    fst (PairWord8Int32 a _) = a
+    snd (PairWord8Int32 _ b) = b
+    curry f x y = f (PairWord8Int32 x y)
+
+instance Adapt Word8 Int64 where
+    data Pair Word8 Int64 = PairWord8Int64 {-# UNPACK #-}!Word8 {-# UNPACK #-}!Int64
+    fst (PairWord8Int64 a _) = a
+    snd (PairWord8Int64 _ b) = b
+    curry f x y = f (PairWord8Int64 x y)
+
+instance Adapt Word8 Word where
+    data Pair Word8 Word = PairWord8Word {-# UNPACK #-}!Word8 {-# UNPACK #-}!Word
+    fst (PairWord8Word a _) = a
+    snd (PairWord8Word _ b) = b
+    curry f x y = f (PairWord8Word x y)
+
+instance Adapt Word8 Word8 where
+    data Pair Word8 Word8 = PairWord8Word8 {-# UNPACK #-}!Word8 {-# UNPACK #-}!Word8
+    fst (PairWord8Word8 a _) = a
+    snd (PairWord8Word8 _ b) = b
+    curry f x y = f (PairWord8Word8 x y)
+
+instance Adapt Word8 Word16 where
+    data Pair Word8 Word16 = PairWord8Word16 {-# UNPACK #-}!Word8 {-# UNPACK #-}!Word16
+    fst (PairWord8Word16 a _) = a
+    snd (PairWord8Word16 _ b) = b
+    curry f x y = f (PairWord8Word16 x y)
+
+instance Adapt Word8 Word32 where
+    data Pair Word8 Word32 = PairWord8Word32 {-# UNPACK #-}!Word8 {-# UNPACK #-}!Word32
+    fst (PairWord8Word32 a _) = a
+    snd (PairWord8Word32 _ b) = b
+    curry f x y = f (PairWord8Word32 x y)
+
+instance Adapt Word8 Word64 where
+    data Pair Word8 Word64 = PairWord8Word64 {-# UNPACK #-}!Word8 {-# UNPACK #-}!Word64
+    fst (PairWord8Word64 a _) = a
+    snd (PairWord8Word64 _ b) = b
+    curry f x y = f (PairWord8Word64 x y)
+
+instance Adapt Word8 Double where
+    data Pair Word8 Double = PairWord8Double {-# UNPACK #-}!Word8 {-# UNPACK #-}!Double
+    fst (PairWord8Double a _) = a
+    snd (PairWord8Double _ b) = b
+    curry f x y = f (PairWord8Double x y)
+
+instance Adapt Word8 Float where
+    data Pair Word8 Float = PairWord8Float {-# UNPACK #-}!Word8 {-# UNPACK #-}!Float
+    fst (PairWord8Float a _) = a
+    snd (PairWord8Float _ b) = b
+    curry f x y = f (PairWord8Float x y)
+
+instance Adapt Word8 Char where
+    data Pair Word8 Char = PairWord8Char {-# UNPACK #-}!Word8 {-# UNPACK #-}!Char
+    fst (PairWord8Char a _) = a
+    snd (PairWord8Char _ b) = b
+    curry f x y = f (PairWord8Char x y)
+
+instance Adapt Word16 Int where
+    data Pair Word16 Int = PairWord16Int {-# UNPACK #-}!Word16 {-# UNPACK #-}!Int
+    fst (PairWord16Int a _) = a
+    snd (PairWord16Int _ b) = b
+    curry f x y = f (PairWord16Int x y)
+
+instance Adapt Word16 Integer where
+    data Pair Word16 Integer = PairWord16Integer {-# UNPACK #-}!Word16 {-# UNPACK #-}!Integer
+    fst (PairWord16Integer a _) = a
+    snd (PairWord16Integer _ b) = b
+    curry f x y = f (PairWord16Integer x y)
+
+instance Adapt Word16 Int8 where
+    data Pair Word16 Int8 = PairWord16Int8 {-# UNPACK #-}!Word16 {-# UNPACK #-}!Int8
+    fst (PairWord16Int8 a _) = a
+    snd (PairWord16Int8 _ b) = b
+    curry f x y = f (PairWord16Int8 x y)
+
+instance Adapt Word16 Int16 where
+    data Pair Word16 Int16 = PairWord16Int16 {-# UNPACK #-}!Word16 {-# UNPACK #-}!Int16
+    fst (PairWord16Int16 a _) = a
+    snd (PairWord16Int16 _ b) = b
+    curry f x y = f (PairWord16Int16 x y)
+
+instance Adapt Word16 Int32 where
+    data Pair Word16 Int32 = PairWord16Int32 {-# UNPACK #-}!Word16 {-# UNPACK #-}!Int32
+    fst (PairWord16Int32 a _) = a
+    snd (PairWord16Int32 _ b) = b
+    curry f x y = f (PairWord16Int32 x y)
+
+instance Adapt Word16 Int64 where
+    data Pair Word16 Int64 = PairWord16Int64 {-# UNPACK #-}!Word16 {-# UNPACK #-}!Int64
+    fst (PairWord16Int64 a _) = a
+    snd (PairWord16Int64 _ b) = b
+    curry f x y = f (PairWord16Int64 x y)
+
+instance Adapt Word16 Word where
+    data Pair Word16 Word = PairWord16Word {-# UNPACK #-}!Word16 {-# UNPACK #-}!Word
+    fst (PairWord16Word a _) = a
+    snd (PairWord16Word _ b) = b
+    curry f x y = f (PairWord16Word x y)
+
+instance Adapt Word16 Word8 where
+    data Pair Word16 Word8 = PairWord16Word8 {-# UNPACK #-}!Word16 {-# UNPACK #-}!Word8
+    fst (PairWord16Word8 a _) = a
+    snd (PairWord16Word8 _ b) = b
+    curry f x y = f (PairWord16Word8 x y)
+
+instance Adapt Word16 Word16 where
+    data Pair Word16 Word16 = PairWord16Word16 {-# UNPACK #-}!Word16 {-# UNPACK #-}!Word16
+    fst (PairWord16Word16 a _) = a
+    snd (PairWord16Word16 _ b) = b
+    curry f x y = f (PairWord16Word16 x y)
+
+instance Adapt Word16 Word32 where
+    data Pair Word16 Word32 = PairWord16Word32 {-# UNPACK #-}!Word16 {-# UNPACK #-}!Word32
+    fst (PairWord16Word32 a _) = a
+    snd (PairWord16Word32 _ b) = b
+    curry f x y = f (PairWord16Word32 x y)
+
+instance Adapt Word16 Word64 where
+    data Pair Word16 Word64 = PairWord16Word64 {-# UNPACK #-}!Word16 {-# UNPACK #-}!Word64
+    fst (PairWord16Word64 a _) = a
+    snd (PairWord16Word64 _ b) = b
+    curry f x y = f (PairWord16Word64 x y)
+
+instance Adapt Word16 Double where
+    data Pair Word16 Double = PairWord16Double {-# UNPACK #-}!Word16 {-# UNPACK #-}!Double
+    fst (PairWord16Double a _) = a
+    snd (PairWord16Double _ b) = b
+    curry f x y = f (PairWord16Double x y)
+
+instance Adapt Word16 Float where
+    data Pair Word16 Float = PairWord16Float {-# UNPACK #-}!Word16 {-# UNPACK #-}!Float
+    fst (PairWord16Float a _) = a
+    snd (PairWord16Float _ b) = b
+    curry f x y = f (PairWord16Float x y)
+
+instance Adapt Word16 Char where
+    data Pair Word16 Char = PairWord16Char {-# UNPACK #-}!Word16 {-# UNPACK #-}!Char
+    fst (PairWord16Char a _) = a
+    snd (PairWord16Char _ b) = b
+    curry f x y = f (PairWord16Char x y)
+
+instance Adapt Word32 Int where
+    data Pair Word32 Int = PairWord32Int {-# UNPACK #-}!Word32 {-# UNPACK #-}!Int
+    fst (PairWord32Int a _) = a
+    snd (PairWord32Int _ b) = b
+    curry f x y = f (PairWord32Int x y)
+
+instance Adapt Word32 Integer where
+    data Pair Word32 Integer = PairWord32Integer {-# UNPACK #-}!Word32 {-# UNPACK #-}!Integer
+    fst (PairWord32Integer a _) = a
+    snd (PairWord32Integer _ b) = b
+    curry f x y = f (PairWord32Integer x y)
+
+instance Adapt Word32 Int8 where
+    data Pair Word32 Int8 = PairWord32Int8 {-# UNPACK #-}!Word32 {-# UNPACK #-}!Int8
+    fst (PairWord32Int8 a _) = a
+    snd (PairWord32Int8 _ b) = b
+    curry f x y = f (PairWord32Int8 x y)
+
+instance Adapt Word32 Int16 where
+    data Pair Word32 Int16 = PairWord32Int16 {-# UNPACK #-}!Word32 {-# UNPACK #-}!Int16
+    fst (PairWord32Int16 a _) = a
+    snd (PairWord32Int16 _ b) = b
+    curry f x y = f (PairWord32Int16 x y)
+
+instance Adapt Word32 Int32 where
+    data Pair Word32 Int32 = PairWord32Int32 {-# UNPACK #-}!Word32 {-# UNPACK #-}!Int32
+    fst (PairWord32Int32 a _) = a
+    snd (PairWord32Int32 _ b) = b
+    curry f x y = f (PairWord32Int32 x y)
+
+instance Adapt Word32 Int64 where
+    data Pair Word32 Int64 = PairWord32Int64 {-# UNPACK #-}!Word32 {-# UNPACK #-}!Int64
+    fst (PairWord32Int64 a _) = a
+    snd (PairWord32Int64 _ b) = b
+    curry f x y = f (PairWord32Int64 x y)
+
+instance Adapt Word32 Word where
+    data Pair Word32 Word = PairWord32Word {-# UNPACK #-}!Word32 {-# UNPACK #-}!Word
+    fst (PairWord32Word a _) = a
+    snd (PairWord32Word _ b) = b
+    curry f x y = f (PairWord32Word x y)
+
+instance Adapt Word32 Word8 where
+    data Pair Word32 Word8 = PairWord32Word8 {-# UNPACK #-}!Word32 {-# UNPACK #-}!Word8
+    fst (PairWord32Word8 a _) = a
+    snd (PairWord32Word8 _ b) = b
+    curry f x y = f (PairWord32Word8 x y)
+
+instance Adapt Word32 Word16 where
+    data Pair Word32 Word16 = PairWord32Word16 {-# UNPACK #-}!Word32 {-# UNPACK #-}!Word16
+    fst (PairWord32Word16 a _) = a
+    snd (PairWord32Word16 _ b) = b
+    curry f x y = f (PairWord32Word16 x y)
+
+instance Adapt Word32 Word32 where
+    data Pair Word32 Word32 = PairWord32Word32 {-# UNPACK #-}!Word32 {-# UNPACK #-}!Word32
+    fst (PairWord32Word32 a _) = a
+    snd (PairWord32Word32 _ b) = b
+    curry f x y = f (PairWord32Word32 x y)
+
+instance Adapt Word32 Word64 where
+    data Pair Word32 Word64 = PairWord32Word64 {-# UNPACK #-}!Word32 {-# UNPACK #-}!Word64
+    fst (PairWord32Word64 a _) = a
+    snd (PairWord32Word64 _ b) = b
+    curry f x y = f (PairWord32Word64 x y)
+
+instance Adapt Word32 Double where
+    data Pair Word32 Double = PairWord32Double {-# UNPACK #-}!Word32 {-# UNPACK #-}!Double
+    fst (PairWord32Double a _) = a
+    snd (PairWord32Double _ b) = b
+    curry f x y = f (PairWord32Double x y)
+
+instance Adapt Word32 Float where
+    data Pair Word32 Float = PairWord32Float {-# UNPACK #-}!Word32 {-# UNPACK #-}!Float
+    fst (PairWord32Float a _) = a
+    snd (PairWord32Float _ b) = b
+    curry f x y = f (PairWord32Float x y)
+
+instance Adapt Word32 Char where
+    data Pair Word32 Char = PairWord32Char {-# UNPACK #-}!Word32 {-# UNPACK #-}!Char
+    fst (PairWord32Char a _) = a
+    snd (PairWord32Char _ b) = b
+    curry f x y = f (PairWord32Char x y)
+
+instance Adapt Word64 Int where
+    data Pair Word64 Int = PairWord64Int {-# UNPACK #-}!Word64 {-# UNPACK #-}!Int
+    fst (PairWord64Int a _) = a
+    snd (PairWord64Int _ b) = b
+    curry f x y = f (PairWord64Int x y)
+
+instance Adapt Word64 Integer where
+    data Pair Word64 Integer = PairWord64Integer {-# UNPACK #-}!Word64 {-# UNPACK #-}!Integer
+    fst (PairWord64Integer a _) = a
+    snd (PairWord64Integer _ b) = b
+    curry f x y = f (PairWord64Integer x y)
+
+instance Adapt Word64 Int8 where
+    data Pair Word64 Int8 = PairWord64Int8 {-# UNPACK #-}!Word64 {-# UNPACK #-}!Int8
+    fst (PairWord64Int8 a _) = a
+    snd (PairWord64Int8 _ b) = b
+    curry f x y = f (PairWord64Int8 x y)
+
+instance Adapt Word64 Int16 where
+    data Pair Word64 Int16 = PairWord64Int16 {-# UNPACK #-}!Word64 {-# UNPACK #-}!Int16
+    fst (PairWord64Int16 a _) = a
+    snd (PairWord64Int16 _ b) = b
+    curry f x y = f (PairWord64Int16 x y)
+
+instance Adapt Word64 Int32 where
+    data Pair Word64 Int32 = PairWord64Int32 {-# UNPACK #-}!Word64 {-# UNPACK #-}!Int32
+    fst (PairWord64Int32 a _) = a
+    snd (PairWord64Int32 _ b) = b
+    curry f x y = f (PairWord64Int32 x y)
+
+instance Adapt Word64 Int64 where
+    data Pair Word64 Int64 = PairWord64Int64 {-# UNPACK #-}!Word64 {-# UNPACK #-}!Int64
+    fst (PairWord64Int64 a _) = a
+    snd (PairWord64Int64 _ b) = b
+    curry f x y = f (PairWord64Int64 x y)
+
+instance Adapt Word64 Word where
+    data Pair Word64 Word = PairWord64Word {-# UNPACK #-}!Word64 {-# UNPACK #-}!Word
+    fst (PairWord64Word a _) = a
+    snd (PairWord64Word _ b) = b
+    curry f x y = f (PairWord64Word x y)
+
+instance Adapt Word64 Word8 where
+    data Pair Word64 Word8 = PairWord64Word8 {-# UNPACK #-}!Word64 {-# UNPACK #-}!Word8
+    fst (PairWord64Word8 a _) = a
+    snd (PairWord64Word8 _ b) = b
+    curry f x y = f (PairWord64Word8 x y)
+
+instance Adapt Word64 Word16 where
+    data Pair Word64 Word16 = PairWord64Word16 {-# UNPACK #-}!Word64 {-# UNPACK #-}!Word16
+    fst (PairWord64Word16 a _) = a
+    snd (PairWord64Word16 _ b) = b
+    curry f x y = f (PairWord64Word16 x y)
+
+instance Adapt Word64 Word32 where
+    data Pair Word64 Word32 = PairWord64Word32 {-# UNPACK #-}!Word64 {-# UNPACK #-}!Word32
+    fst (PairWord64Word32 a _) = a
+    snd (PairWord64Word32 _ b) = b
+    curry f x y = f (PairWord64Word32 x y)
+
+instance Adapt Word64 Word64 where
+    data Pair Word64 Word64 = PairWord64Word64 {-# UNPACK #-}!Word64 {-# UNPACK #-}!Word64
+    fst (PairWord64Word64 a _) = a
+    snd (PairWord64Word64 _ b) = b
+    curry f x y = f (PairWord64Word64 x y)
+
+instance Adapt Word64 Double where
+    data Pair Word64 Double = PairWord64Double {-# UNPACK #-}!Word64 {-# UNPACK #-}!Double
+    fst (PairWord64Double a _) = a
+    snd (PairWord64Double _ b) = b
+    curry f x y = f (PairWord64Double x y)
+
+instance Adapt Word64 Float where
+    data Pair Word64 Float = PairWord64Float {-# UNPACK #-}!Word64 {-# UNPACK #-}!Float
+    fst (PairWord64Float a _) = a
+    snd (PairWord64Float _ b) = b
+    curry f x y = f (PairWord64Float x y)
+
+instance Adapt Word64 Char where
+    data Pair Word64 Char = PairWord64Char {-# UNPACK #-}!Word64 {-# UNPACK #-}!Char
+    fst (PairWord64Char a _) = a
+    snd (PairWord64Char _ b) = b
+    curry f x y = f (PairWord64Char x y)
+
+instance Adapt Double Int where
+    data Pair Double Int = PairDoubleInt {-# UNPACK #-}!Double {-# UNPACK #-}!Int
+    fst (PairDoubleInt a _) = a
+    snd (PairDoubleInt _ b) = b
+    curry f x y = f (PairDoubleInt x y)
+
+instance Adapt Double Integer where
+    data Pair Double Integer = PairDoubleInteger {-# UNPACK #-}!Double {-# UNPACK #-}!Integer
+    fst (PairDoubleInteger a _) = a
+    snd (PairDoubleInteger _ b) = b
+    curry f x y = f (PairDoubleInteger x y)
+
+instance Adapt Double Int8 where
+    data Pair Double Int8 = PairDoubleInt8 {-# UNPACK #-}!Double {-# UNPACK #-}!Int8
+    fst (PairDoubleInt8 a _) = a
+    snd (PairDoubleInt8 _ b) = b
+    curry f x y = f (PairDoubleInt8 x y)
+
+instance Adapt Double Int16 where
+    data Pair Double Int16 = PairDoubleInt16 {-# UNPACK #-}!Double {-# UNPACK #-}!Int16
+    fst (PairDoubleInt16 a _) = a
+    snd (PairDoubleInt16 _ b) = b
+    curry f x y = f (PairDoubleInt16 x y)
+
+instance Adapt Double Int32 where
+    data Pair Double Int32 = PairDoubleInt32 {-# UNPACK #-}!Double {-# UNPACK #-}!Int32
+    fst (PairDoubleInt32 a _) = a
+    snd (PairDoubleInt32 _ b) = b
+    curry f x y = f (PairDoubleInt32 x y)
+
+instance Adapt Double Int64 where
+    data Pair Double Int64 = PairDoubleInt64 {-# UNPACK #-}!Double {-# UNPACK #-}!Int64
+    fst (PairDoubleInt64 a _) = a
+    snd (PairDoubleInt64 _ b) = b
+    curry f x y = f (PairDoubleInt64 x y)
+
+instance Adapt Double Word where
+    data Pair Double Word = PairDoubleWord {-# UNPACK #-}!Double {-# UNPACK #-}!Word
+    fst (PairDoubleWord a _) = a
+    snd (PairDoubleWord _ b) = b
+    curry f x y = f (PairDoubleWord x y)
+
+instance Adapt Double Word8 where
+    data Pair Double Word8 = PairDoubleWord8 {-# UNPACK #-}!Double {-# UNPACK #-}!Word8
+    fst (PairDoubleWord8 a _) = a
+    snd (PairDoubleWord8 _ b) = b
+    curry f x y = f (PairDoubleWord8 x y)
+
+instance Adapt Double Word16 where
+    data Pair Double Word16 = PairDoubleWord16 {-# UNPACK #-}!Double {-# UNPACK #-}!Word16
+    fst (PairDoubleWord16 a _) = a
+    snd (PairDoubleWord16 _ b) = b
+    curry f x y = f (PairDoubleWord16 x y)
+
+instance Adapt Double Word32 where
+    data Pair Double Word32 = PairDoubleWord32 {-# UNPACK #-}!Double {-# UNPACK #-}!Word32
+    fst (PairDoubleWord32 a _) = a
+    snd (PairDoubleWord32 _ b) = b
+    curry f x y = f (PairDoubleWord32 x y)
+
+instance Adapt Double Word64 where
+    data Pair Double Word64 = PairDoubleWord64 {-# UNPACK #-}!Double {-# UNPACK #-}!Word64
+    fst (PairDoubleWord64 a _) = a
+    snd (PairDoubleWord64 _ b) = b
+    curry f x y = f (PairDoubleWord64 x y)
+
+instance Adapt Double Double where
+    data Pair Double Double = PairDoubleDouble {-# UNPACK #-}!Double {-# UNPACK #-}!Double
+    fst (PairDoubleDouble a _) = a
+    snd (PairDoubleDouble _ b) = b
+    curry f x y = f (PairDoubleDouble x y)
+
+instance Adapt Double Float where
+    data Pair Double Float = PairDoubleFloat {-# UNPACK #-}!Double {-# UNPACK #-}!Float
+    fst (PairDoubleFloat a _) = a
+    snd (PairDoubleFloat _ b) = b
+    curry f x y = f (PairDoubleFloat x y)
+
+instance Adapt Double Char where
+    data Pair Double Char = PairDoubleChar {-# UNPACK #-}!Double {-# UNPACK #-}!Char
+    fst (PairDoubleChar a _) = a
+    snd (PairDoubleChar _ b) = b
+    curry f x y = f (PairDoubleChar x y)
+
+instance Adapt Float Int where
+    data Pair Float Int = PairFloatInt {-# UNPACK #-}!Float {-# UNPACK #-}!Int
+    fst (PairFloatInt a _) = a
+    snd (PairFloatInt _ b) = b
+    curry f x y = f (PairFloatInt x y)
+
+instance Adapt Float Integer where
+    data Pair Float Integer = PairFloatInteger {-# UNPACK #-}!Float {-# UNPACK #-}!Integer
+    fst (PairFloatInteger a _) = a
+    snd (PairFloatInteger _ b) = b
+    curry f x y = f (PairFloatInteger x y)
+
+instance Adapt Float Int8 where
+    data Pair Float Int8 = PairFloatInt8 {-# UNPACK #-}!Float {-# UNPACK #-}!Int8
+    fst (PairFloatInt8 a _) = a
+    snd (PairFloatInt8 _ b) = b
+    curry f x y = f (PairFloatInt8 x y)
+
+instance Adapt Float Int16 where
+    data Pair Float Int16 = PairFloatInt16 {-# UNPACK #-}!Float {-# UNPACK #-}!Int16
+    fst (PairFloatInt16 a _) = a
+    snd (PairFloatInt16 _ b) = b
+    curry f x y = f (PairFloatInt16 x y)
+
+instance Adapt Float Int32 where
+    data Pair Float Int32 = PairFloatInt32 {-# UNPACK #-}!Float {-# UNPACK #-}!Int32
+    fst (PairFloatInt32 a _) = a
+    snd (PairFloatInt32 _ b) = b
+    curry f x y = f (PairFloatInt32 x y)
+
+instance Adapt Float Int64 where
+    data Pair Float Int64 = PairFloatInt64 {-# UNPACK #-}!Float {-# UNPACK #-}!Int64
+    fst (PairFloatInt64 a _) = a
+    snd (PairFloatInt64 _ b) = b
+    curry f x y = f (PairFloatInt64 x y)
+
+instance Adapt Float Word where
+    data Pair Float Word = PairFloatWord {-# UNPACK #-}!Float {-# UNPACK #-}!Word
+    fst (PairFloatWord a _) = a
+    snd (PairFloatWord _ b) = b
+    curry f x y = f (PairFloatWord x y)
+
+instance Adapt Float Word8 where
+    data Pair Float Word8 = PairFloatWord8 {-# UNPACK #-}!Float {-# UNPACK #-}!Word8
+    fst (PairFloatWord8 a _) = a
+    snd (PairFloatWord8 _ b) = b
+    curry f x y = f (PairFloatWord8 x y)
+
+instance Adapt Float Word16 where
+    data Pair Float Word16 = PairFloatWord16 {-# UNPACK #-}!Float {-# UNPACK #-}!Word16
+    fst (PairFloatWord16 a _) = a
+    snd (PairFloatWord16 _ b) = b
+    curry f x y = f (PairFloatWord16 x y)
+
+instance Adapt Float Word32 where
+    data Pair Float Word32 = PairFloatWord32 {-# UNPACK #-}!Float {-# UNPACK #-}!Word32
+    fst (PairFloatWord32 a _) = a
+    snd (PairFloatWord32 _ b) = b
+    curry f x y = f (PairFloatWord32 x y)
+
+instance Adapt Float Word64 where
+    data Pair Float Word64 = PairFloatWord64 {-# UNPACK #-}!Float {-# UNPACK #-}!Word64
+    fst (PairFloatWord64 a _) = a
+    snd (PairFloatWord64 _ b) = b
+    curry f x y = f (PairFloatWord64 x y)
+
+instance Adapt Float Double where
+    data Pair Float Double = PairFloatDouble {-# UNPACK #-}!Float {-# UNPACK #-}!Double
+    fst (PairFloatDouble a _) = a
+    snd (PairFloatDouble _ b) = b
+    curry f x y = f (PairFloatDouble x y)
+
+instance Adapt Float Float where
+    data Pair Float Float = PairFloatFloat {-# UNPACK #-}!Float {-# UNPACK #-}!Float
+    fst (PairFloatFloat a _) = a
+    snd (PairFloatFloat _ b) = b
+    curry f x y = f (PairFloatFloat x y)
+
+instance Adapt Float Char where
+    data Pair Float Char = PairFloatChar {-# UNPACK #-}!Float {-# UNPACK #-}!Char
+    fst (PairFloatChar a _) = a
+    snd (PairFloatChar _ b) = b
+    curry f x y = f (PairFloatChar x y)
+
+instance Adapt Char Int where
+    data Pair Char Int = PairCharInt {-# UNPACK #-}!Char {-# UNPACK #-}!Int
+    fst (PairCharInt a _) = a
+    snd (PairCharInt _ b) = b
+    curry f x y = f (PairCharInt x y)
+
+instance Adapt Char Integer where
+    data Pair Char Integer = PairCharInteger {-# UNPACK #-}!Char {-# UNPACK #-}!Integer
+    fst (PairCharInteger a _) = a
+    snd (PairCharInteger _ b) = b
+    curry f x y = f (PairCharInteger x y)
+
+instance Adapt Char Int8 where
+    data Pair Char Int8 = PairCharInt8 {-# UNPACK #-}!Char {-# UNPACK #-}!Int8
+    fst (PairCharInt8 a _) = a
+    snd (PairCharInt8 _ b) = b
+    curry f x y = f (PairCharInt8 x y)
+
+instance Adapt Char Int16 where
+    data Pair Char Int16 = PairCharInt16 {-# UNPACK #-}!Char {-# UNPACK #-}!Int16
+    fst (PairCharInt16 a _) = a
+    snd (PairCharInt16 _ b) = b
+    curry f x y = f (PairCharInt16 x y)
+
+instance Adapt Char Int32 where
+    data Pair Char Int32 = PairCharInt32 {-# UNPACK #-}!Char {-# UNPACK #-}!Int32
+    fst (PairCharInt32 a _) = a
+    snd (PairCharInt32 _ b) = b
+    curry f x y = f (PairCharInt32 x y)
+
+instance Adapt Char Int64 where
+    data Pair Char Int64 = PairCharInt64 {-# UNPACK #-}!Char {-# UNPACK #-}!Int64
+    fst (PairCharInt64 a _) = a
+    snd (PairCharInt64 _ b) = b
+    curry f x y = f (PairCharInt64 x y)
+
+instance Adapt Char Word where
+    data Pair Char Word = PairCharWord {-# UNPACK #-}!Char {-# UNPACK #-}!Word
+    fst (PairCharWord a _) = a
+    snd (PairCharWord _ b) = b
+    curry f x y = f (PairCharWord x y)
+
+instance Adapt Char Word8 where
+    data Pair Char Word8 = PairCharWord8 {-# UNPACK #-}!Char {-# UNPACK #-}!Word8
+    fst (PairCharWord8 a _) = a
+    snd (PairCharWord8 _ b) = b
+    curry f x y = f (PairCharWord8 x y)
+
+instance Adapt Char Word16 where
+    data Pair Char Word16 = PairCharWord16 {-# UNPACK #-}!Char {-# UNPACK #-}!Word16
+    fst (PairCharWord16 a _) = a
+    snd (PairCharWord16 _ b) = b
+    curry f x y = f (PairCharWord16 x y)
+
+instance Adapt Char Word32 where
+    data Pair Char Word32 = PairCharWord32 {-# UNPACK #-}!Char {-# UNPACK #-}!Word32
+    fst (PairCharWord32 a _) = a
+    snd (PairCharWord32 _ b) = b
+    curry f x y = f (PairCharWord32 x y)
+
+instance Adapt Char Word64 where
+    data Pair Char Word64 = PairCharWord64 {-# UNPACK #-}!Char {-# UNPACK #-}!Word64
+    fst (PairCharWord64 a _) = a
+    snd (PairCharWord64 _ b) = b
+    curry f x y = f (PairCharWord64 x y)
+
+instance Adapt Char Double where
+    data Pair Char Double = PairCharDouble {-# UNPACK #-}!Char {-# UNPACK #-}!Double
+    fst (PairCharDouble a _) = a
+    snd (PairCharDouble _ b) = b
+    curry f x y = f (PairCharDouble x y)
+
+instance Adapt Char Float where
+    data Pair Char Float = PairCharFloat {-# UNPACK #-}!Char {-# UNPACK #-}!Float
+    fst (PairCharFloat a _) = a
+    snd (PairCharFloat _ b) = b
+    curry f x y = f (PairCharFloat x y)
+
+instance Adapt Char Char where
+    data Pair Char Char = PairCharChar {-# UNPACK #-}!Char {-# UNPACK #-}!Char
+    fst (PairCharChar a _) = a
+    snd (PairCharChar _ b) = b
+    curry f x y = f (PairCharChar x y)
diff --git a/LICENSE b/LICENSE
new file mode 100644
--- /dev/null
+++ b/LICENSE
@@ -0,0 +1,29 @@
+Copyright (c) Don Stewart 2005-2007
+          (c) Duncan Coutts 2006-2007
+          (c) David Roundy 2003-2005.
+
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions
+are met:
+1. Redistributions of source code must retain the above copyright
+   notice, this list of conditions and the following disclaimer.
+2. Redistributions in binary form must reproduce the above copyright
+   notice, this list of conditions and the following disclaimer in the
+   documentation and/or other materials provided with the distribution.
+3. Neither the name of the author nor the names of his contributors
+   may be used to endorse or promote products derived from this software
+   without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE REGENTS AND CONTRIBUTORS ``AS IS'' AND
+ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ARE DISCLAIMED.  IN NO EVENT SHALL THE AUTHORS OR CONTRIBUTORS BE LIABLE
+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS
+OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)
+HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY
+OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF
+SUCH DAMAGE.
diff --git a/Setup.lhs b/Setup.lhs
new file mode 100644
--- /dev/null
+++ b/Setup.lhs
@@ -0,0 +1,3 @@
+#!/usr/bin/env runhaskell
+> import Distribution.Simple
+> main = defaultMain
diff --git a/adaptive-containers.cabal b/adaptive-containers.cabal
new file mode 100644
--- /dev/null
+++ b/adaptive-containers.cabal
@@ -0,0 +1,36 @@
+name:               adaptive-containers
+version:            0.1
+homepage:           http://code.haskell.org/~dons/code/adaptive-containers
+synopsis:           Self optimizing container types
+description:
+    Self optimizing polymorphic container types.
+    
+    We use type families to specialize polymorphic container types to
+    specific representations via class-associated data types.
+
+    A self-optimizing pair, for example, will unpack the constructors,
+    yielding a representation for (Int,Char) requiring 8 bytes, instead
+    of 24.
+
+    Currently supported adaptive types: pairs
+
+category:           Data
+license:            BSD3
+license-file:       LICENSE
+author:             Don Stewart
+maintainer:         Don Stewart (dons@galois.com)
+cabal-version:      >= 1.2.3
+build-type:         Simple
+
+library
+    exposed-modules:    Data.Adaptive.Tuple
+
+    ghc-options:        -O2 -funbox-strict-fields -Wall
+    ghc-prof-options:   -prof -auto-all
+
+    extensions:         TypeFamilies,
+                        MultiParamTypeClasses,
+                        FlexibleInstances,
+                        OverlappingInstances
+
+    build-depends:      base
diff --git a/scripts/derive.hs b/scripts/derive.hs
new file mode 100644
--- /dev/null
+++ b/scripts/derive.hs
@@ -0,0 +1,115 @@
+
+{-# LANGUAGE RankNTypes #-}
+{-# LANGUAGE ExistentialQuantification #-}
+{-# OPTIONS -fglasgow-exts #-}
+
+module AdaptiveDerive where
+
+import Data.Generics
+import Data.List
+import Text.PrettyPrint
+import Control.Monad
+
+import Data.Int
+import Data.Word
+
+{-
+
+instance Adapt Int Int where
+
+  data Pair Int Int = PIntInt {-# UNPACK #-}!Int {-# UNPACK #-}!Int
+
+  fst (PIntInt a _) = a
+  snd (PIntInt _ b) = b
+  curry f x y    =  f (PIntInt x y)
+  uncurry f p    =  f (fst p) (snd p)
+
+ -}
+
+------------------------------------------------------------------------
+
+main = sequence_  . intersperse (putStrLn "") $
+    [ deriveM t u
+    | Box t <- types
+    , Box u <- types ]
+
+data Box = forall a. (Typeable a, Data a) => Box a
+
+types :: [Box]
+types = [ Box (undefined :: Int)
+        , Box (undefined :: Integer)
+        , Box (undefined :: Int8)
+        , Box (undefined :: Int16)
+        , Box (undefined :: Int32)
+        , Box (undefined :: Int64)
+        , Box (undefined :: Word)
+        , Box (undefined :: Word8)
+        , Box (undefined :: Word16)
+        , Box (undefined :: Word32)
+        , Box (undefined :: Word64)
+        , Box (undefined :: Double)
+        , Box (undefined :: Float)
+        , Box (undefined :: Char)
+        ]
+
+------------------------------------------------------------------------
+
+deriveM :: forall a b . (Typeable a, Data a, Typeable b, Data b) => a -> b -> IO ()
+deriveM (a :: a) (b :: b) = putStrLn $ derive (undefined :: a) (undefined :: b)
+
+
+derive :: (Typeable a, Data a, Typeable b, Data b) => a  -> b -> String
+derive x y = render $
+
+   hang
+    (hsep [text "instance", text "Adapt", text type_x, text type_y, text "where"])
+    4
+    (vcat [
+        hsep [ text "data"
+             ,      text "Pair"
+             ,      text type_x
+             ,      text type_y
+             , char '='
+             ,      text myconstr
+             ,      text "{-# UNPACK #-}!" <> text type_x
+             ,      text "{-# UNPACK #-}!" <> text type_y
+             ]
+
+       ,hsep [text "fst"
+             ,  parens (text myconstr <+> text "a _")
+             ,  char '=' ,  char 'a' ]
+
+       ,hsep [text "snd"
+             ,  parens (text myconstr <+> text "_ b")
+             ,  char '=' ,  char 'b' ]
+
+       ,hsep [ text "curry"
+             ,      char 'f'
+             ,      char 'x'
+             ,      char 'y'
+             ,  char '='
+             ,      char 'f' <+> parens (text myconstr <+> text "x y")
+             ]
+
+          ])
+
+ where
+    type_x = inst_a
+
+    type_y = inst_b
+
+    myconstr = "Pair" ++ type_x ++ type_y
+
+    inst_a = wrap $ tyConString typeName ++ concatMap (" "++) typeLetters
+        where (typeName,typeChildren) = splitTyConApp (typeOf x)
+              typeLetters = take nTypeChildren manyLetters
+              nTypeChildren = length typeChildren
+              wrap x = if nTypeChildren > 0 then "("++x++")" else x
+
+    inst_b = wrap $ tyConString typeName ++ concatMap (" "++) typeLetters
+        where (typeName,typeChildren) = splitTyConApp (typeOf y)
+              typeLetters = take nTypeChildren manyLetters
+              nTypeChildren = length typeChildren
+              wrap x = if nTypeChildren > 0 then "("++x++")" else x
+
+    manyLetters = map (:[]) ['a'..'z']
diff --git a/scripts/size.hs b/scripts/size.hs
new file mode 100644
--- /dev/null
+++ b/scripts/size.hs
@@ -0,0 +1,14 @@
+{-# LANGUAGE MagicHash,UnboxedTuples #-}
+module Size where
+
+import GHC.Exts
+import Foreign
+
+unsafeSizeof :: a -> Int
+unsafeSizeof a =
+  case unpackClosure# a of
+    (# x, ptrs, nptrs #) ->
+      sizeOf (undefined::Int) + -- one word for the header
+        I# (sizeofByteArray# (unsafeCoerce# ptrs)
+             +# sizeofByteArray# nptrs)
+