There's something in that package that I don't understand,
and I feel really stupid about this.
data RVarT m a
type RVar = RVarT Identity
class Distribution d t where
rvar :: d t -> RVar t
rvarT :: d t -> RVarT n t
Where does "n" come from?