ややこしいな。 foo の効果によって init が生成されるなら、暗黙の S.init は存在しないから、不正になっちゃうな。