import Functorish in ReflectiveSubuniverse