A module for merging two objects and making sure that the types match.