Hilbert A-modules☆