    {-# OPTIONS_GHC -Wno-orphans #-}

    module IsomorphismClass.Relations.Int64AndWord64 where

    import IsomorphismClass.Classes
    import IsomorphismClass.Prelude

    instance IsomorphicTo Int64 Word64 where
      to :: Word64 -> Int64
    to = Word64 -> Int64
    forall a b. (Integral a, Num b) => a -> b
    fromIntegral

    instance IsomorphicTo Word64 Int64 where
      to :: Int64 -> Word64
    to = Int64 -> Word64
    forall a b. (Integral a, Num b) => a -> b
    fromIntegral