-- #hide, prune, ignore-exports

-- |Module description
module A where