Expose satisfyMaybe