-- | module header bla bla 

-- #hide, prune, ignore-exports
module A where