Maybe we could take out importance on the number of _ wildcards (constructor
arity) with a syntax like.
        li @ (Cons ...)
        li @ (Nil ...)