module A.B' where