that's all we use from prelude?
Merge pull request #5 from quarterto/feature/prelude

Don't include Prelude in every file