[] <. _ = true
_ <. [] = false
(x::xs) <. (y::ys) | x == y = xs <. ys
                   | else   = x < y

[1,2,1,3,2] <. [1,2,0,4,4,0,0,0]