    {-# OPTIONS_GHC -Wno-orphans #-}

    module IsomorphismClass.Relations.IntAndWord where

    import IsomorphismClass.Classes
    import IsomorphismClass.Prelude

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

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