case は型でないのでまたちょっと違うかも？