viewTX :: ByteString
       -> Records
       -> Maybe (ByteString, ByteString)
viewTX t (Fix (TreeF (U (Record k (X (XRef x)))) rs)) | k == t = Just (k,x)
viewTX :: ByteString
       -> Records
       -> Maybe (ByteString, ByteString)
viewTX t (Fix (TreeF (U (Record k (X (XRef x)))) rs)) | k == t = Just (k,x)
viewTX t (Fix (TreeF (U (Record k (X (XRef x)))) rs)) | k == t = Just (k,x)