Eta-reduced `Rand` type synonym.

In the form `type Rand g a = ...` it is illegal to have partially applied `Rand g`,
but that is necessary to stack other transformers on top of `Rand`.