reftree.core.GenericInstances
We use a different typeclass to avoid defining nonsense ToRefTree instances
We use a different typeclass to avoid defining nonsense ToRefTree instances