A HANK2 model of monetary unions