Okra recipe (and a beef curry)

Just for future reference:   cooked okra this way on Saturday, to go with a basic beef curry* (using the easy homemade mix of curry powder I referenced before) and it was nice.    

*  onion, three fresh tomatoes, 500g of cubed beef, that curry powder (couple of tablespoons it makes), some water, some curry leaves, a little bit of cream at the end.  (Yoghurt's probably better, but had none.)