    {-# OPTIONS_GHC -Wno-orphans #-}

    module IsomorphismClass.Relations.Int8AndWord8 where

    import IsomorphismClass.Classes
    import IsomorphismClass.Prelude

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

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