{-# 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)