Express satisfy' in terms of satisfyMaybe'.