forallってオプションと共に用いて
型の決め打ちを段階的に遅延してもらうものだと思えばいいの?