We passed by the Monasterio de San José del Carmen, a functioning convert founded by the mystic Saint Teresa of Ávila. It's only open to the public for early morning mass.