A near-exhaustive demonstration of the functionality in infer.