Why specialcase `PredefModule`?