;; fail to mix list(int) with list(bool)
(list:cons #t (list:cons 4 (list:cons 5 (list:nil))))