This gets rid of the (ambiguous) notation %l, because we can declare
LitLoc as a coercion. It also shortens the code.