i agree that as we move away from the prelude that stuff can be pared down more and more