-eql [] = \l2 -> empty l2
-eql (l1h:l1t) = let prev = eql l1t
- in \l2 -> and (not (empty l2))
- (l1h == head l2)
- (prev (tail l2))
+list_equal [] = \right -> isempty right
+list_equal (hd:tl) = let prev = list_equal tl
+ in \right -> and (not (isempty right))
+ (hd == head right)
+ (prev (tail right))