“继承”包装类型的实例(“Inheriting” instance of wrapped type)

 我有一个类型，基本上作为另一种数据类型的标签： 
 
import Data.Word
data RijndaelField = RF Word8
 
 我希望RijndaelField以最简单的方式“继承” Bits的Word8实例： 
 
import Data.Bits
instance Bits RijndaelField where
    RF a .&. RF b     = RF $ a .&. b
    RF a .|. RF b     = RF $ a .|. b
    RF a `xor` RF b   = RF $ a `xor` b
    complement (RF a) = RF $ complement a
    shift (RF a) n    = RF $ shift a n
    rotate (RF a) n   = RF $ rotate a n
    bitSize (RF a)    = bitSize a
    isSigned (RF a)   = isSigned a
    testBit (RF a) n  = testBit a n
    bit n             = RF $ bit n
    popCount (RF a)   = popCount a
 
 有没有更简单的方式来表达RijndaelField和Word8之间的关系？ 

I have a type that basically acts as a tag on another data type:
 
import Data.Word
data RijndaelField = RF Word8
 
I want RijndaelField to "inherit" the Word8 instance of Bits in the simplest way possible:
 
import Data.Bits
instance Bits RijndaelField where
    RF a .&. RF b     = RF $ a .&. b
    RF a .|. RF b     = RF $ a .|. b
    RF a `xor` RF b   = RF $ a `xor` b
    complement (RF a) = RF $ complement a
    shift (RF a) n    = RF $ shift a n
    rotate (RF a) n   = RF $ rotate a n
    bitSize (RF a)    = bitSize a
    isSigned (RF a)   = isSigned a
    testBit (RF a) n  = testBit a n
    bit n             = RF $ bit n
    popCount (RF a)   = popCount a
 
Is there a shorter way to express that relation between RijndaelField and Word8?

原文：https://stackoverflow.com/questions/20481718