3 Jun
2010
3 Jun
'10
8:13 p.m.
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?