salted butter
onion, diced
15-ounce can green enchilada sauce
7-ounce can chopped green chiles
adobo sauce (from a can of chipotles)
corn tortillas
freshly grated cheddar or cheddar-jack cheese
10-ounce package frozen corn, thawed and patted dry
15-ounce can refried beans
Pico de gallo and chopped fresh cilantro, for topping