    {-# OPTIONS_GHC -Wno-orphans #-}

    module IsomorphismClass.Relations.Int16AndWord16 where

    import IsomorphismClass.Classes
    import IsomorphismClass.Prelude

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

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