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