Incorrect number of arguments on the front end

[mistzzt]

Consider the query (a -> a) -> (a -> a) that is identical to (a -> a) -> a -> a.

There should be another column for arg1 in the table below.