[J3] [SC22WG5.6544] Why can't USE come after IMPLICIT NONE?

[Jeff Hammond]

Can someone explain to me why the following is illegal?  Is there a risk that someone defines implicit variables in a module and that effect being invisible to the user?  Would it not have been better to exclude implicit variable declaration in modules?

module m
  implicit integer (a-z)
end module m

program main
  implicit real (a-z)
  use m
  real x
end program main

Thanks,

Jeff