fiddling with Ran naming
Representable (:-), Corepresentable (:-)