For when you want the sexp representation of one type to be the same as that for some other isomorphic type.