One-liner for key triples.
Point-free definition of readInput.
Explicit imports from System.IO