f x empty x f empty cons a k f cons a k k f cons a k y f y k 2.2 f cons a k y f y k f empty cons a k f cons a k k true f empty cons a k f cons a k k f cons a k y f y k true f 2 0 f 2 1 11293 2 32532 0 cons 2 2 21239 0 empty 0 21240 f cons a k y f y k f cons a k y f y k true f 2 0 f 2 1 2 0 cons 2 2 1 empty 0 0 NaTT certifiable-1.6