deriving Show for relations