Corepresentable instance for encoder