いや、tagged union だろうが、tagged された some だけに対してisomophicだから