narrowAddress' :: (WiderAddress b b' k)
               => MasterOut b'
               -> MasterOut b
narrowAddress' m = MasterOut { adr = truncateB (adr m) }
narrowAddress' :: (WiderAddress b b' k)
               => MasterOut b'
               -> MasterOut b
narrowAddress' m = MasterOut { adr = truncateB (adr m) }
narrowAddress' m = MasterOut { adr = truncateB (adr m) }