[Haskell-cafe] Example for RVarT?