5 eggs ~120g dry (~240g cooked) mung beans, small chickpeas or cow peas ~200-250g grean beans (cut to size) or okra (what I get is small, so I leave it whole) 1 spring onion, thinly sliced sauce: ~1 tbsp butter or coconut oil 2-3 cloves of garlic, minced 1 chili pepper (I used a jalapeno) de-seeded and thinly sliced up to 1/3 tsp hing (I love this dish with a strong flavor of hing, but many people can find this spice off putting, please ad