show (:=:) = (:=:)
read (show (:=:)) :: T = (:=:)