そこを some にしようとすると x の型をコンパイル時に決定しないといけないんじゃない？