Add Hidden module to .cabal file
Implement Promotion.Prelude and Singletons.Prelude