howps :: Serialize a =>  a -> ST ByteString
showps x= ST(\(Stat(c,s,v))->
 let
    ST f= showp x
    Right (Stat (c',str,_), _) = f  (Stat(c,"",v))

 in Right(Stat(c',s ,v), str))

showps :: Serialize a =>  a -> ST ByteString
showps x= ST(\(Stat(c,s,v))->
 let
    ST f= showp x
    Right (Stat (c',str,_), _) = f  (Stat(c,"",v))

 in Right(Stat(c',s ,v), str))
showps x= ST(\(Stat(c,s,v))->
 let
    ST f= showp x
    Right (Stat (c',str,_), _) = f  (Stat(c,"",v))

 in Right(Stat(c',s ,v), str))