clarify `UnapplyInference` example