let's talk about qi

https://en.wikipedia.org/wiki/Qi_(programming_language)

Copy pasted example of defining a type for a sorted list.

(12+) (datatype ordering

if (number? X)
if (number? Y)
let Z (* X 2)
if (= Y Z)
__________________
[X Y] : ordering;)
ordering : unit

(13+) [2 3] : ordering
error: type failure

(14+) [2 4] : ordering
[2 4] : ordering

1. LISP kids hear about this new LISP and come to wikipedia to check it out.
2. LISP kids quickly see that their intelligence is clearly insufficient for Qi/Shen.
3. LISP kids leave scorching comments about Mark Tarver in the thread on /prog/ and run away.