isTable t
i1 : isTable {{1,2,3},{4,5,6}} o1 = true
i2 : isTable {{1,2,3},{4,5}} o2 = false
It is intrinsically impossible to represent a $0\times k$ matrix as a list of lists.
The object isTable is a function closure.