Implementing mapping composition