Add a more general satisfyMaybe helper