(bind-func lt4 (lambda () (let ((l1:List{i64}* (Cons 20 (Nil))) (l2:List{i64}* (Cons 4 (Nil))) (l3 (fmap (lambda (x:i64) (lambda (y:i64) (* x y))) l2))) (t: (apply l3 l1) List{i64}*))))