いや、 Optional はスーパータイプじゃないから嘘。