@sdgfsdh Yes, it can be determined statically. I guess the point of not doing it is to discourage the use of
module rec as a way to just reorder declarations that are not actually mutually recursive.