externalize the Prelude namespace in a library