Clarify monomorphization discussion