I\'m creating a library for describing the connection of address lines to memory elements. I think a monadic API would work very nicely for creating components (with an iden
