Corepresentable型クラス