Provide expressions $($without type annotations$)$ that have the following types: $($a$)(1/2$ point$)$ int $>$ int list $>$ bool list