Yes. This is known as an implicit model. However, the difficulty is that y does not necessarily have a density. For simple transforms as above, there is no magic to find its induced distribution unless you specify the log-determinant with TransformedDistribution. Writing out the random variables explicitly is recommended both from a computational level and conceptually.