conformできないでsubtypeと呼べるのかなぁ。単なる暗黙の型変換と考えるのが良いのか。