Swtiched from Corepresentable by a Comonad to Conjoined to be more explicit, shorten signatures and hide the implementation option we chose to use.