b'
I look back at the module systems we considered so far (Haskell's, Standard ML's, and Agda's), and consider a few points that are on my mind about these.\\xa0 I also mention a few other languages' module systems (Clojure, Java 9).\\xa0 I also ponder names and namespace management.
'